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
A Formal Framework for Design and Validation of Multimodal Interactive Systems in Transport Domain
2011-08-08
36 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Bernsen's design space , Formal models and verification , Standard reference model (SRM) , Algebra and set models , Symbolic model verifier (SMV) , Multimodal human‐computer interactions , Multimodal interactive systems , Static and dynamic semantics , Input and output multimodality , CARE and Verified properties
INTERACTIVE ANALYTICAL FRAMEWORK FOR MULTIMODAL TRANSPORTATION
Europäisches Patentamt | 2023
|