A Formal Framework for Design and Validation of Multimodal Interactive Systems in Transport Domain
A Formal Framework for Design and Validation of Multimodal Interactive Systems in Transport Domain
- New search for: Kolski, Christophe
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
Document information
A Formal Framework for Design and Validation of Multimodal Interactive Systems in Transport Domain
2011-08-08
36 pages
Article/Chapter (Book)
Electronic Resource
English
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
Similar titles
INTERACTIVE ANALYTICAL FRAMEWORK FOR MULTIMODAL TRANSPORTATION
| European Patent Office | 2023