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
Automating Verification of Cooperation, Control, and Design in Traffic Applications - MaRDI portal

Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automating Verification of Cooperation, Control, and Design in Traffic Applications
scientific article

    Statements

    title
    Automating Verification of Cooperation, Control, and Design in Traffic Applications (English)
    0 references
    author
    Werner Damm
    0 references
    Alfred Mikschl
    0 references
    Jens Oehlerking
    0 references
    Jun Pang
    0 references
    André Platzer
    0 references
    Marc Segelken
    0 references
    Boris Wirtz
    0 references
    Ernst-Ruediger Olderog
    0 references
    publication date
    25 September 2008
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    90B20
    0 references
    93C30
    0 references
    93C83
    0 references
    zbMATH DE Number
    5347189
    0 references
    describes a project that uses
    YALMIP
    0 references
    TrueTime
    0 references
    CSDP
    0 references
    HySAT
    0 references
    PHAVer
    0 references
    OpenAlex ID
    W2107605643
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3526930&oldid=32600970"
    Powered by MediaWiki