Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Jonatan Wiik, Pontus Boström
Editors: Stephan Merz, Jun Pang
Publisher: Springer
Publication year: 2014
Journal: Lecture Notes in Computer Science
Publisher: Springer
Book title: Formal Methods and Software Engineering
Title of series: Lecture Notes in Computer Science
Volume number: 8829
Start page: 396
End page: 412
ISBN: 978-3-319-11736-2
eISBN: 978-3-319-11737-9
ISSN: 0302-9743

Last updated on 2019-20-10 at 02:53