Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Volltext über DOI/URN

GeprüftBibliothek

Verknüpfte Personen


Beteiligte Einrichtungen