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
Reaching out towards fully verified autonomous systems - MaRDI portal

Reaching out towards fully verified autonomous systems (Q2330586)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reaching out towards fully verified autonomous systems
scientific article

    Statements

    title
    Reaching out towards fully verified autonomous systems (English)
    0 references
    author
    Souradeep Dutta
    0 references
    Sergio Mover
    0 references
    publication date
    22 October 2019
    0 references
    zbMATH Keywords
    formal verification
    0 references
    autonomous systems
    0 references
    constraint solvers
    0 references

    Identifiers

    zbMATH DE Number
    7121134
    0 references
    OpenAlex ID
    W2971572120
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2330586&oldid=31387869"
    Powered by MediaWiki