Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná. Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. In Rocco De Nicola, eva Kühn, editors, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Volume 9763 of Lecture Notes in Computer Science, pages 121-136, Springer, 2016. [doi]
Abstract is missing.