Contains the keyword safety critical systems

Pap Z, Varró D. Static Safety Analysis of UML Action Semantics for Critical Systems Development. In: Dadam P, Reichert M, editors. GI Jahrestagung (1). Vol 50. GI; 2004. p. 57-61. (LNI; vol 50). Abstract

BibTex