Formal models of UML statechart diagrams based on Petri nets
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 33 , 2 ; 248-252
2007-01-01
5 pages
Article (Journal)
Unknown
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 Archive | 2001
|Statechart-based representation of hybrid controllers for vehicle automation
IET Digital Library Archive | 2006
|British Library Online Contents | 1997
|