Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification
SpaceOps 2006 Conference
01.01.2006
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|Operating rules description using Petri nets
Tema Archiv | 2007
|