This chapter contains sections titled:

    Introduction

    Concepts of multimodality

    Formal design

    Use of formal methods for input multimodality

    Use of formal methods for output multimodality

    Conclusion

    Bibliography


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Formal Framework for Design and Validation of Multimodal Interactive Systems in Transport Domain


    Beteiligte:
    Kolski, Christophe (Herausgeber:in)


    Erscheinungsdatum :

    2011-08-08


    Format / Umfang :

    36 pages




    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    INTERACTIVE ANALYTICAL FRAMEWORK FOR MULTIMODAL TRANSPORTATION

    SAEEDI RAMYAR / SANKARANARAYANASAMY MALARVIZHI / SINGH PRASUN et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    Legal framework of multimodal transport

    Antonio ABRIL RUBIO | DOAJ | 2015

    Freier Zugriff

    Multimodal schedule design for synchromodal freight transport systems

    Behzad Behdani / Yun Fan / Bart Wiegmans et al. | DOAJ | 2016

    Freier Zugriff

    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | AIAA | 2017


    Ontological model for knowledge capitalization in multimodal transport domain

    Benaissa, Ezzeddine / Charfeddine, Imen / Bendriss, Sabri et al. | IEEE | 2014