On Implementable Timed Automata (Q5041274)

From MaRDI portal
scientific article; zbMATH DE number 7601087
Language Label Description Also known as
English
On Implementable Timed Automata
scientific article; zbMATH DE number 7601087

    Statements

    title
    On Implementable Timed Automata (English)
    0 references
    author
    Sergio Feo-Arenis
    0 references
    Milan Vujinović
    0 references
    Bernd Westphal
    0 references
    publication date
    13 October 2022
    0 references
    describes a project that uses
    Giotto
    0 references
    Uppaal
    0 references
    LUSTRE
    0 references
    SIGNAL
    0 references
    Esterel
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68M14
    0 references
    68N30
    0 references
    68Q45
    0 references
    68Q85
    0 references
    zbMATH DE Number
    7601087
    0 references
    OpenAlex ID
    W3034233614
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5041274&oldid=37162580"
    Powered by MediaWiki