Contains the keyword UML

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
Varró D, Gyapay S, Pataricza A. Automatic Transformation of {UML} Models for System Verification. In: Whittle J, editor. WTUML'01: Workshop on Transformations in UML. Genova, Italy; 2001. p. 123-7. Abstract
Varró D, Pataricza A. Mathematical Model Transformation for System Verification. Budapest University of Technology and Economics, Dept. of Measurement and Information Systems; 2000. Abstract
Tartalom átvétel