Timed I/O automata (Q2985870): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: UPPAAL TIGA / rank
 
Normal rank

Revision as of 18:59, 29 February 2024

scientific article
Language Label Description Also known as
English
Timed I/O automata
scientific article

    Statements

    Timed I/O automata (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 May 2017
    0 references
    interfaces
    0 references
    real-time
    0 references
    refinement
    0 references
    specification theory
    0 references
    timed I/O automata
    0 references

    Identifiers