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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Formal Methods and Software Engineering
Toimittajat	Stephan Merz, Jun Pang
Kustantaja	Springer
Sivut	396–412
ISBN (elektroninen)	978-3-319-11737-9
ISBN (painettu)	978-3-319-11736-2
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-11737-9_26
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg Kesto: 3 marrask. 2014 → 5 marrask. 2014

Konferenssi	conference; 2014-11-03; 2014-11-05
Ajanjakso	03/11/14 → 05/11/14

Pääsy asiakirjaan

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
Projekti: 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 = "null ; 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

Y2 - 3 November 2014 through 5 November 2014

ER -