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
An automated system repair framework with signal temporal logic - MaRDI portal

An automated system repair framework with signal temporal logic (Q2139184)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An automated system repair framework with signal temporal logic
scientific article

    Statements

    title
    An automated system repair framework with signal temporal logic (English)
    0 references
    author
    Mert Ergurtuna
    0 references
    Beyazit Yalcinkaya
    0 references
    Ebru Aydin Gol
    0 references
    publication date
    17 May 2022
    0 references
    describes a project that uses
    Matlab
    0 references
    Uppaal
    0 references
    S-TaLiRo
    0 references
    SemFix
    0 references
    TarTar
    0 references
    IMITATOR
    0 references

    Identifiers

    zbMATH DE Number
    7528109
    0 references
    OpenAlex ID
    W3175524290
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2139184&oldid=38902815"
    Powered by MediaWiki