Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow

Pontus Boström, Lionel Morel

    Research output: Book/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherTurku Centre for Computer Science (TUCS)
    Number of pages18
    ISBN (Print)978-952-12-1922-1
    Publication statusPublished - 2007
    MoE publication typeD4 Published development or research report or study

    Cite this