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
Unifying Input Output Conformance - MaRDI portal

Unifying Input Output Conformance (Q3585031)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unifying Input Output Conformance
scientific article

    Statements

    title
    Unifying Input Output Conformance (English)
    0 references
    author
    Martin Weiglhofer
    0 references
    Bernhard K. Aichernig
    0 references
    publication date
    31 August 2010
    0 references
    zbMATH Keywords
    input output conformance
    0 references
    ioco
    0 references
    unifying theories of programming
    0 references
    reactive processes
    0 references
    quiescence
    0 references
    fairness
    0 references
    model-based testing
    0 references

    Identifiers

    zbMATH DE Number
    5776606
    0 references
    OpenAlex ID
    W1589758130
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3585031&oldid=32161812"
    Powered by MediaWiki