Optimisation-based black-box testing of assertions in Simulink models

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
Sivumäärä	21
ISBN (painettu)	952-12-1607-7
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)
Walden, M. (CoPI), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Morel, L. (CoI), Satpathy, M. (CoI), Olszewska, M. (CoI), Meincke, L. (CoI) & Malik, Q. (CoI)
01/08/05 → 31/07/08
Projekti: Industry/Business Finland

Viittausmuodot

@book{dec9e17179684d49b7cf2f1bd50058fc,

title = "Optimisation-based black-box testing of assertions in Simulink models",

author = "Pontus Bostr{\"o}m and Jerker Bj{\"o}rkqvist",

note = "TUCS Technical Report No 711, September 2005",

year = "2005",

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

isbn = "952-12-1607-7",

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

}

TY - BOOK

T1 - Optimisation-based black-box testing of assertions in Simulink models

AU - Boström, Pontus

AU - Björkqvist, Jerker

N1 - TUCS Technical Report No 711, September 2005

PY - 2005

Y1 - 2005

M3 - Beställd rapport

SN - 952-12-1607-7

BT - Optimisation-based black-box testing of assertions in Simulink models

PB - Turku Centre for Computer Science (TUCS)

ER -