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

Pontus Boström, Lionel Morel

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Originalspråk	Odefinierat/okänt
Förlag	Turku Centre for Computer Science (TUCS)
Antal sidor	18
ISBN (tryckt)	978-952-12-1922-1
Status	Publicerad - 2007
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

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

Citera det här

@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)",

}