Formal models of UML statechart diagrams based on Petri nets
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 33 , 2 ; 248-252
01.01.2007
5 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 629.4 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Automated statechart model checking
NTRS | 2002
|Statechart testing method for aircraft control systems
Tema Archiv | 2001
|Statechart-based representation of hybrid controllers for vehicle automation
IET Digital Library Archive | 2006
|British Library Online Contents | 1997
|