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

Jonatan Wiik; Pontus Boström

doi:10.1007/978-3-319-11737-9_26

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

Jonatan Wiik
, Pontus Boström

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

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

Pääsy asiakirjaan

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

1 Päättynyt

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

Viittausmuodot

@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 - Publicerad konferensartikel

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 -

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

Konferenssi

Pääsy asiakirjaan

Projektit

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

Viittausmuodot