Formal modeling and analysis of UML statecharts
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 33 , 4 ; 472-476
2007-01-01
5 pages
Article (Journal)
Unknown
DDC: | 629.4 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example
British Library Conference Proceedings | 2011
|Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example
SAE Technical Papers | 2011
|Auto-coding UML statecharts for flight software
IEEE | 2006
|Auto-Coding UML Statecharts for Flight Software
NTRS | 2006
|Beschreibung elektronischer Steuergeräte mit Use Cases und Statecharts
Tema Archive | 2003
|