Integration of Message Sequence Charts and Petri Nets in the System Design Process
International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany
International workshop on software specification of safety relevant transportation control tasks ; 91-100
2003-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Integration of message sequence charts and Petri nets in the system design process
Tema Archive | 2003
|Modeling train control systems: from message sequence charts to Petri nets
Tema Archive | 2000
|British Library Online Contents | 1997
|Operating rules description using Petri nets
Tema Archive | 2007
|