Compositional design of isochronous systems (Q456402)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional design of isochronous systems
scientific article

    Statements

    Compositional design of isochronous systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    24 October 2012
    0 references
    embedded systems
    0 references
    software engineering
    0 references
    synchronous modeling
    0 references
    formal verification
    0 references
    automated distribution
    0 references
    0 references
    0 references
    0 references

    Identifiers