Static Safety Analysis of UML Action Semantics for Critical Systems Development.

Zsigmond Pap, Dniel Varr

Browse the full GI paper archive.