Stepwise Development of Simulink Models Using the Refinement Calculus Framework

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Lionel Morel, Marina Waldén
Editors: Jones CB, Liu Z, Woodcock J
Publisher: Springer
Publication year: 2007
Publisher: Springer, Springer
Book title: Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings
Title of series: Lecture Notes in Computer Science
Number in series: 4711
Start page: 79
End page: 93
ISBN: 978-3-540-75290-5
eISBN: 978-3-540-75292-9
ISSN: 0302-9743

Last updated on 2019-18-08 at 07:29