New Results on Timed Specifications (Q2890330)

From MaRDI portal
scientific article
Language Label Description Also known as
English
New Results on Timed Specifications
scientific article

    Statements

    title
    New Results on Timed Specifications (English)
    0 references
    author
    Timothy Bourke
    0 references
    Alexandre David
    0 references
    Axel Legay
    0 references
    Didier Lime
    0 references
    Ulrik Nyman
    0 references
    Andrzej Wąsowski
    0 references
    Kim Guldstrand Larsen
    0 references
    publication date
    8 June 2012
    0 references
    zbMATH DE Number
    6044463
    0 references
    describes a project that uses
    ECDAR
    0 references
    Uppaal
    0 references
    UPPAAL TIGA
    0 references
    OpenAlex ID
    W1554826871
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2890330&oldid=35283179"
    Powered by MediaWiki