Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Palanque, Philippe (Autor:in) / Bernhaupt, Regina (Autor:in) / Navarre, David (Autor:in) / Ould, Mourad (Autor:in) / Winckler, Marco (Autor:in)

    Kongress:

    SpaceOps 2006 Conference



    Erscheinungsdatum :

    01.01.2006




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Ground Segment Interfaces Standardization: Lessons Learnt

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


    Operating rules description using Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | Tema Archiv | 2007