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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Formal Methods and Software Engineering
Redaktörer	Stephan Merz, Jun Pang
Förlag	Springer
Sidor	396–412
ISBN (elektroniskt)	978-3-319-11737-9
ISBN (tryckt)	978-3-319-11736-2
DOI	https://doi.org/10.1007/978-3-319-11737-9_26
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg Varaktighet: 3 nov. 2014 → 5 nov. 2014

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

Åtkomst av dokument

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
Projekt: Företag/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 -