Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification
SpaceOps 2006 Conference
2006-01-01
Conference paper
Electronic Resource
English
Formal models of UML statechart diagrams based on Petri nets
British Library Online Contents | 2007
|Reconciling Safety and Usability Concerns through Formal Specification-based Development Process
British Library Conference Proceedings | 2002
|A Method of Verifying a Switching SDL Specification by Utilizing Petri Nets
British Library Online Contents | 1994
|Airport Traffic Simulation Using Petri Nets
Springer Verlag | 2013
|