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
Verification of Hybrid Systems - MaRDI portal

Verification of Hybrid Systems (Q3176388)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification of Hybrid Systems
scientific article

    Statements

    title
    Verification of Hybrid Systems (English)
    0 references
    author
    Laurent Doyen
    0 references
    Goran Frehse
    0 references
    George J. Pappas
    0 references
    André Platzer
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    KeYmaera
    0 references
    PHAVer
    0 references
    HyTech
    0 references
    HSolver
    0 references
    SpaceEx
    0 references
    KeYmaera X
    0 references
    QEPCAD
    0 references
    RSOLVER
    0 references
    Benchmarks
    0 references
    PPL
    0 references
    BACH
    0 references
    SMV
    0 references
    Ellipsoidal Toolbox
    0 references
    cites work
    Q5261743
    0 references
    Q4763590
    0 references
    Q4552456
    0 references
    Q4953376
    0 references
    Q4552463
    0 references
    Q4249562
    0 references
    Q2902935
    0 references
    Q4536599
    0 references
    Q4249565
    0 references
    Q2754081
    0 references
    Q3908199
    0 references
    Q4079605
    0 references
    Hybrid process algebra
    0 references
    Q4945221
    0 references
    Hybrid systems
    0 references
    Lazy abstraction
    0 references
    Q4503930
    0 references
    Q4953389
    0 references
    Q5364938
    0 references
    Hybrid I/O automata.
    0 references
    Embedded System Design
    0 references
    Q4953401
    0 references
    Q4418003
    0 references
    Q4284595
    0 references
    Q5807665
    0 references
    Q4418865
    0 references
    Q4246834
    0 references

    Identifiers

    zbMATH DE Number
    6908896
    0 references
    OpenAlex ID
    W2803699674
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176388&oldid=36410157"
    Powered by MediaWiki