Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Statistical Model Checking for Networks of Priced Timed Automata - MaRDI portal

Statistical Model Checking for Networks of Priced Timed Automata (Q3172845)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Statistical Model Checking for Networks of Priced Timed Automata
scientific article

    Statements

    title
    Statistical Model Checking for Networks of Priced Timed Automata (English)
    0 references
    author
    Alexandre David
    0 references
    Axel Legay
    0 references
    Marius Mikučionis
    0 references
    Danny Bøgsted Poulsen
    0 references
    Jonas van Vliet
    0 references
    Zheng Wang
    0 references
    Kim Guldstrand Larsen
    0 references
    publication date
    7 October 2011
    0 references
    describes a project that uses
    PHAVer
    0 references
    Uppaal
    0 references
    HyTech
    0 references
    Ymer
    0 references
    APMC
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q45
    0 references
    68Q85
    0 references
    68Q87
    0 references
    zbMATH DE Number
    5954720
    0 references
    OpenAlex ID
    W2163626018
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3172845&oldid=35247345"
    Powered by MediaWiki