MAMa - Appendices.docx

Juan Carlos Augusto, Mario Jose Quinde Li Say Tan & Nawaz Khan
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)
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.