Model Checking Real-Time Systems (Q3176387)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking Real-Time Systems
scientific article

    Statements

    title
    Model Checking Real-Time Systems (English)
    0 references
    author
    Patricia Bouyer
    0 references
    Uli Fahrenberg
    0 references
    Nicolas Markey
    0 references
    Joël Ouaknine
    0 references
    Kim Guldstrand Larsen
    0 references
    James Worrell
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    Romeo
    0 references
    GEZEL
    0 references
    UPPAAL CORA
    0 references
    TAPAAL
    0 references
    Kronos
    0 references
    Rabbit
    0 references
    Uppaal
    0 references
    Verics
    0 references
    cites work
    Q4551179
    0 references
    Q4472231
    0 references
    Q4552456
    0 references
    Q4472261
    0 references
    Q3900995
    0 references
    Q4249561
    0 references
    Q4251920
    0 references
    Q4417927
    0 references
    Q2769586
    0 references
    Q4552463
    0 references
    Q4818802
    0 references
    Q4264103
    0 references
    Q4418686
    0 references
    Q3971259
    0 references
    Q4536599
    0 references
    Q4417931
    0 references
    Q4736990
    0 references
    Q4503930
    0 references
    Q4732449
    0 references
    Q4472440
    0 references
    Q4551180
    0 references
    Q4939617
    0 references
    Uppaal in a nutshell
    0 references
    Q4953401
    0 references
    Q3992568
    0 references
    Q4270073
    0 references
    Q4945220
    0 references
    Q3907077
    0 references
    Q4939602
    0 references
    Q4965809
    0 references
    Q4439565
    0 references
    Q4493880
    0 references

    Identifiers

    zbMATH DE Number
    6908895
    0 references
    OpenAlex ID
    W2803623806
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176387&oldid=36410156"
    Powered by MediaWiki