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
Monitorable hyperproperties of nonterminating systems - MaRDI portal

Monitorable hyperproperties of nonterminating systems (Q2168793)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Monitorable hyperproperties of nonterminating systems
scientific article

    Statements

    title
    Monitorable hyperproperties of nonterminating systems (English)
    0 references
    author
    Morteza Damanafshan
    0 references
    Mehran S. Fallah
    0 references
    publication date
    26 August 2022
    0 references
    zbMATH Keywords
    runtime verification
    0 references
    hyperproperty
    0 references
    monitorability
    0 references
    nonterminating systems
    0 references

    Identifiers

    zbMATH DE Number
    7576526
    0 references
    OpenAlex ID
    W4288056804
    0 references
    Wikidata QID
    Q114159193
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2168793&oldid=38920348"
    Powered by MediaWiki