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

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Lionel Morel
Publisher: Turku Centre for Computer Science (TUCS)
Place: Åbo
Publication year: 2007
Title of series: TUCS Technical Report
Number in series: 830
Number of pages: 18
ISBN: 978-952-12-1922-1
ISSN: 1239-1891

Last updated on 2019-15-12 at 04:04