Middlesex University
Browse
MAMa - Appendices.docx (31.17 kB)

MAMa - Appendices.docx

Download (31.17 kB)
journal contribution
posted on 2019-04-10, 11:32 authored by Juan Carlos AugustoJuan Carlos Augusto, Mario Jose Quinde Li Say TanMario 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)

History

Value

  • normal

AccessType

  • open

Usage metrics

    GOODIES: Research GrOup On Development of Intelligent EnvironmentS

    Categories

    Keywords

    Formal MethodsModellingVerificationMIRIEModel Checkingasthma management planApplied Computer ScienceConceptual ModellingUbiquitous Computing

    Licence

    GPL

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC