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
Logical vs. behavioural specifications - MaRDI portal

Logical vs. behavioural specifications (Q2304534)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logical vs. behavioural specifications
scientific article

    Statements

    title
    Logical vs. behavioural specifications (English)
    0 references
    author
    Nikola Beneš
    0 references
    Uli Fahrenberg
    0 references
    Jan Křetínský
    0 references
    Axel Legay
    0 references
    Louis-Marie Traonouez
    0 references
    publication date
    12 March 2020
    0 references
    zbMATH Keywords
    component-based design
    0 references
    refinement
    0 references
    logic
    0 references
    modal transition system
    0 references
    specification
    0 references
    describes a project that uses
    MIO Workbench
    0 references
    CESAR
    0 references
    Motras
    0 references
    cites work
    Q4818796
    0 references
    Q3336675
    0 references
    Linear logic
    0 references
    Acceptance trees
    0 references
    Q4038716
    0 references
    Q4783297
    0 references
    Q3940830
    0 references
    Residuated Lattices
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B70
    0 references
    68Q85
    0 references
    zbMATH DE Number
    7179700
    0 references
    OpenAlex ID
    W2729250683
    0 references
    Wikidata QID
    Q126785428
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2304534&oldid=37833338"
    Powered by MediaWiki