Formal Modelling of App-Ensembles: A Formal Method for Modelling Flexible Systems of User Interfaces Driven by Business Process Models
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | The Handbook of Formal Methods in Human-Computer Interaction |
| Redakteure/-innen | Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque |
| Herausgeber (Verlag) | Springer |
| Seiten | 529–547 |
| ISBN (elektronisch) | 978-3-319-51838-1 |
| ISBN (Print) | 978-3-319-51837-4 |
| Publikationsstatus | Veröffentlicht - 2017 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Human–Computer Interaction Series (HCIS) |
|---|---|
| ISSN | 1571-5035 |