Modeling for Verification (Q3176361)

From MaRDI portal
Revision as of 03:54, 16 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Modeling for Verification
scientific article

    Statements

    title
    Modeling for Verification (English)
    0 references
    author
    Sanjit A. Seshia
    0 references
    Natasha Sharygina
    0 references
    Stavros Tripakis
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    Kronos
    0 references
    Uppaal
    0 references
    Metropolis
    0 references
    Ptolemy
    0 references
    LUSTRE
    0 references
    Esterel
    0 references
    cites work
    Q4804887
    0 references
    Quantitative Languages
    0 references
    Q4885877
    0 references
    Marked directed graphs
    0 references
    Q3136505
    0 references
    Q4941495
    0 references
    Q3777424
    0 references
    Q4506483
    0 references
    Q4953390
    0 references
    Q4054644
    0 references
    Q4165287
    0 references
    Uppaal in a nutshell
    0 references
    Q5364938
    0 references
    Q4002642
    0 references
    Q4248252
    0 references
    Q3219122
    0 references

    Identifiers

    zbMATH DE Number
    6908869
    0 references
    OpenAlex ID
    W2803980942
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176361&oldid=36410130"
    Powered by MediaWiki