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
Parametric Analyses of Attack-fault Trees* - MaRDI portal

Parametric Analyses of Attack-fault Trees* (Q5025035)

From MaRDI portal
scientific article; zbMATH DE number 7467825
Language Label Description Also known as
English
Parametric Analyses of Attack-fault Trees*
scientific article; zbMATH DE number 7467825

    Statements

    title
    Parametric Analyses of Attack-fault Trees* (English)
    0 references
    author
    Étienne André
    0 references
    Didier Lime
    0 references
    Mathias Ramparison
    0 references
    publication date
    1 February 2022
    0 references
    zbMATH Keywords
    security
    0 references
    attack-fault trees
    0 references
    parametric timed automata
    0 references
    IMITATOR
    0 references
    describes a project that uses
    Uppaal
    0 references
    DFTCalc
    0 references

    Identifiers

    DOI
    10.3233/FI-2021-2066
    0 references
    zbMATH DE Number
    7467825
    0 references
    arXiv ID
    1902.04336
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5025035&oldid=36763061"
    Powered by MediaWiki