MAMa - Appendices.docx
Juan Carlos Augusto
Mario Jose Quinde Li Say Tan
Nawaz Khan
10.22023/mdx.7971125.v1
https://mdx.figshare.com/articles/journal_contribution/MAMa_-_Appendices_docx/7971125
This models have been used during the research published at “Using Formal Methods to Guide the Development of an Asthma Management System” (accepted at DESSERT 2019, Leeds, UK)<br><div>
</div>
2019-04-10 11:32:37
Formal Methods
Modelling
Verification
MIRIE
Model Checking
asthma management plan
Applied Computer Science
Conceptual Modelling
Ubiquitous Computing