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

Jonatan Wiik, Pontus Boström

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

4 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	978-952-12-3053-0
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

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

@book{b38f833e46ca4d409edbda65499b08c8,

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

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

note = "TUCS Technical Report, No 1107, July 2014",

year = "2014",

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

isbn = "978-952-12-3053-0",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

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

AU - Wiik, Jonatan

AU - Boström, Pontus

N1 - TUCS Technical Report, No 1107, July 2014

PY - 2014

Y1 - 2014

M3 - Beställd rapport

SN - 978-952-12-3053-0

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

PB - Turku Centre for Computer Science (TUCS)

ER -