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

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Formal Methods and Software Engineering
Editors	Stephan Merz, Jun Pang
Publisher	Springer
Pages	396–412
ISBN (Electronic)	978-3-319-11737-9
ISBN (Print)	978-3-319-11736-2
DOIs	https://doi.org/10.1007/978-3-319-11737-9_26
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication
Event	conference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg Duration: 3 Nov 2014 → 5 Nov 2014

Conference	conference; 2014-11-03; 2014-11-05
Period	03/11/14 → 05/11/14

Access to Document

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S., Wiik, J., Olszewska, M. & Dahlvik, M.
01/05/11 → 30/09/14
Project: Industry/Business Finland

@inproceedings{fe73b7205b9b4254b1aa3cb50814e54d,

title = "Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code",

author = "Jonatan Wiik and Pontus Bostr{\"o}m",

year = "2014",

doi = "10.1007/978-3-319-11737-9_26",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-11736-2",

pages = "396–412",

editor = "Stephan Merz and Jun Pang",

booktitle = "Formal Methods and Software Engineering",

publisher = "Springer",

note = "conference; 2014-11-03; 2014-11-05 ; Conference date: 03-11-2014 Through 05-11-2014",

}

TY - GEN

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

AU - Wiik, Jonatan

AU - Boström, Pontus

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-11737-9_26

DO - 10.1007/978-3-319-11737-9_26

M3 - Konferensbidrag

SN - 978-3-319-11736-2

SP - 396

EP - 412

BT - Formal Methods and Software Engineering

A2 - Merz, Stephan

A2 - Pang, Jun

PB - Springer

T2 - conference; 2014-11-03; 2014-11-05

Y2 - 3 November 2014 through 5 November 2014

ER -