An Approach to Contract-Based Verification of Simulink Models

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik
Publisher: Turku Centre for Computer Science (TUCS)
Place: Åbo
Publication year: 2010
ISBN: 978-952-12-2473-7

Last updated on 2019-19-09 at 07:52