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
Towards physical hybrid systems - MaRDI portal

Towards physical hybrid systems (Q2305415)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards physical hybrid systems
scientific article

    Statements

    title
    Towards physical hybrid systems (English)
    0 references
    author
    Katherine Cordwell
    0 references
    André Platzer
    0 references
    publication date
    10 March 2020
    0 references
    zbMATH Keywords
    hybrid systems
    0 references
    almost everywhere
    0 references
    differential temporal dynamic logic
    0 references
    proof calculus
    0 references

    Identifiers

    zbMATH DE Number
    7178978
    0 references
    OpenAlex ID
    W2945379992
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2305415&oldid=36568634"
    Powered by MediaWiki