Middlesex University
Browse

Mreasoner Specification Sleeping Scenario

Download (208.59 kB)
figure
posted on 2021-12-17, 15:56 authored by Nawa SakangaNawa Sakanga, Juan Carlos AugustoJuan Carlos Augusto, Lindsey Brodie
Mreasoner Specification Sleeping Scenario. Draft version for testing purposes.

History

Value

  • normal

AccessType

  • open

Usage metrics

    Middlesex University

    Categories

    Keywords

    testingformal specificationsautomated reasoningtemporal reasoningArtificial Intelligence and Image Processing not elsewhere classifiedUbiquitous Computing

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC