Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification


    Contributors:

    Conference:

    SpaceOps 2006 Conference



    Publication date :

    2006-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Formal models of UML statechart diagrams based on Petri nets

    Feng, G. / Shuzhen, Y. | British Library Online Contents | 2007


    Reconciling Safety and Usability Concerns through Formal Specification-based Development Process

    Navarre, D. / Palanque, P. / Bastide, R. et al. | British Library Conference Proceedings | 2002


    A Method of Verifying a Switching SDL Specification by Utilizing Petri Nets

    Hasegawa, H. | British Library Online Contents | 1994


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013


    Ground Segment Interfaces Standardization: Lessons Learnt

    Dussauze, J.M. / Lecouat, F. / Rouzet, P. et al. | AIAA | 2004