Static Safety Analysis of UML Action Semantics for Critical Systems Development

Zsigmond Pap, Dániel Varró. Static Safety Analysis of UML Action Semantics for Critical Systems Development. In Peter Dadam, Manfred Reichert, editors, INFORMATIK 2004 - Informatik verbindet, Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. Volume 50 of LNI, pages 57-61, GI, 2004.

Abstract

Abstract is missing.