An Approach to Contract-Based Verification of Simulink Models

Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Originalspråk	Odefinierat/okänt
Förlag	Turku Centre for Computer Science (TUCS)
ISBN (tryckt)	978-952-12-2473-7
Status	Publicerad - 2010
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Ansvarig forskare), Sere, K. (Ansvarig forskare), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekt: Företag/Business Finland

Citera det här

@book{acb8c22f9ea7416db5e4a3fdc72f4ce1,

title = "An Approach to Contract-Based Verification of Simulink Models",

author = "Pontus Bostr{\"o}m and Richard Gr{\"o}nblom and Tatu Huotari and Jonatan Wiik",

note = "TUCS Technical Report No 985, October 2010",

year = "2010",

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

isbn = "978-952-12-2473-7",

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

}

TY - BOOK

T1 - An Approach to Contract-Based Verification of Simulink Models

AU - Boström, Pontus

AU - Grönblom, Richard

AU - Huotari, Tatu

AU - Wiik, Jonatan

N1 - TUCS Technical Report No 985, October 2010

PY - 2010

Y1 - 2010

M3 - Beställd rapport

SN - 978-952-12-2473-7

BT - An Approach to Contract-Based Verification of Simulink Models

PB - Turku Centre for Computer Science (TUCS)

ER -