Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606)

From MaRDI portal





scientific article; zbMATH DE number 5073627
Language Label Description Also known as
English
Modular design of real-time systems using hierarchical communicating real-time state machines
scientific article; zbMATH DE number 5073627

    Statements

    Modular design of real-time systems using hierarchical communicating real-time state machines (English)
    0 references
    0 references
    0 references
    0 references
    17 November 2006
    0 references
    modular modelling
    0 references
    hierarchical state machines
    0 references
    real-time constrains
    0 references
    prototyping
    0 references
    assertions
    0 references
    integrated development environment
    0 references
    Java
    0 references

    Identifiers