Formal Verification of UML-modeled Machine Controls.

Thomas Klotz, Eva Fordran, Bernd Straube, Jrgen Haufe

Browse the full ETFA paper archive.