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
Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method - MaRDI portal

Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (Q3172874)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method
scientific article

    Statements

    title
    Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (English)
    0 references
    publication date
    7 October 2011
    0 references
    zbMATH DE Number
    5954753
    0 references
    author
    Laurent Fribourg
    0 references
    Ulrich Kühne
    0 references
    describes a project that uses
    IMITATOR
    0 references
    HyTech
    0 references
    PHAVer
    0 references
    OpenAlex ID
    W2135888626
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3172874&oldid=32219869"
    Powered by MediaWiki