Formal Modelling of App-Ensembles: A Formal Method for Modelling Flexible Systems of User Interfaces Driven by Business Process Models
Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | The Handbook of Formal Methods in Human-Computer Interaction |
| Editors | Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque |
| Publisher | Springer |
| Pages | 529–547 |
| ISBN (electronic) | 978-3-319-51838-1 |
| ISBN (print) | 978-3-319-51837-4 |
| Publication status | Published - 2017 |
| Peer-reviewed | Yes |
Publication series
| Series | Human–Computer Interaction Series (HCIS) |
|---|---|
| ISSN | 1571-5035 |