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

Pontus Boström, Lionel Morel

Research output: Book/Journal/Report › Commissioned report › Professional

Original language	Undefined/Unknown
Publisher	Turku Centre for Computer Science (TUCS)
Number of pages	18
ISBN (Print)	978-952-12-1922-1
Publication status	Published - 2007
MoE publication type	D4 Published development or research report or study

ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)
Walden, M. (Co-Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Morel, L. (Co-Investigator), Satpathy, M. (Co-Investigator), Olszewska, M. (Co-Investigator), Meincke, L. (Co-Investigator) & Malik, Q. (Co-Investigator)
01/08/05 → 31/07/08
Project: Industry/Business Finland

Cite this

@book{6fc35b7034a14f63b03e8f958cea920d,

title = "Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow",

author = "Pontus Bostr{\"o}m and Lionel Morel",

note = "TUCS Technical Report No 830",

year = "2007",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-952-12-1922-1",

publisher = "Turku Centre for Computer Science (TUCS)",

}