Visual and Formal Modeling of Modularized and Executable User Interface Models.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 125 - 160
Erscheinungsjahr: 2017
Publikationstyp: Buchbeitrag
Doi/URN: 10.1007/978-3-319-51838-1_5
Geprüft | Bibliothek |