A Formal Framework for Design and Validation of Multimodal Interactive Systems in Transport Domain
Christophe Kolski · 2011
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