Augusto, Juan Carlos Quinde Li Say Tan, Mario Jose Khan, Nawaz MAMa - Appendices.docx 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> Formal Methods;Modelling;Verification;MIRIE;Model Checking;asthma management plan;Applied Computer Science;Conceptual Modelling;Ubiquitous Computing 2019-04-10
    https://mdx.figshare.com/articles/journal_contribution/MAMa_-_Appendices_docx/7971125
10.22023/mdx.7971125.v1