Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis.

Jaroslav Bendk, Nikola Benes, Jiri Barnat, Ivana Cern

Browse the full SEFM paper archive.