Hybrid Systems: Computation and Control (Q5898988)

From MaRDI portal
scientific article; zbMATH DE number 5147956
Language Label Description Also known as
English
Hybrid Systems: Computation and Control
scientific article; zbMATH DE number 5147956

    Statements

    title
    Hybrid Systems: Computation and Control (English)
    0 references
    author
    Marius Kloetzer
    0 references
    Calin Belta
    0 references
    publication date
    2 May 2007
    0 references
    describes a project that uses
    LTLCon
    0 references
    LTL2BA
    0 references
    SPIN
    0 references

    Identifiers

    DOI
    10.1007/11730637
    0 references
    Mathematics Subject Classification ID
    93C05
    0 references
    68Q60
    0 references
    93B52
    0 references
    zbMATH DE Number
    5147956
    0 references
    OpenAlex ID
    W2478741156
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5898988&oldid=31580613"
    Powered by MediaWiki