Keywords UML stāvokļu mašīnu diagrammas, formālās metodes
Alksnis, G. Comparative Analysis of UML State Machine Models Formal Checking Methods. Applied computer systems. Vol.30, 2007, pp.28-37. ISSN 1407-7493.
Publication language Latvian (lv)
Publication Type Publications in RTU scientific journal
Funding for basic activity Unknown
Field of research 2. Engineering and technology
Sub-field of research 2.2 Electrical engineering, Electronic engineering, Information and communication engineering
ID: 2768
The Scientific Library of the Riga Technical University. E-mail: uzzinas@rtu.lv; Phone: +371 28399196
We use cookies to improve the user experience of the portal and provide more convenient usage. By continuing to use the portal, you agree that you use cookies.