Integrating FMEA into Event-B Development of Safety-Critical Control Systems

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

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-2476-8
Status	Publicerad - 2010
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Citera det här

@book{1ae479cf3ee74073ab65a42c8a119057,

title = "Integrating FMEA into Event-B Development of Safety-Critical Control Systems",

author = "Iuliia Prokhorova and Elena Troubitsyna and Linas Laibinis",

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

year = "2010",

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

isbn = "978-952-12-2476-8",

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

}

TY - BOOK

T1 - Integrating FMEA into Event-B Development of Safety-Critical Control Systems

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

AU - Laibinis, Linas

N1 - TUCS Technical Report No 986, October 2010

PY - 2010

Y1 - 2010

M3 - Beställd rapport

SN - 978-952-12-2476-8

BT - Integrating FMEA into Event-B Development of Safety-Critical Control Systems

PB - Turku Centre for Computer Science (TUCS)

ER -