Development of Safety-Critical Control Systems in Event-B Using FMEA

Tekijät: Prokhorova, Yuliya; Troubitsyna, Elena; Laibinis, Linas, Kharchenko, Vyacheslav
Kieli: englanti
Julkaisutyyppi: A3 Kirjan tai muun kokoomateoksen osa
Julkaisufoorumiluokka : 1
JUFO-ID: 5478
Julkaisija: IGI Global
Julkaisuvuosi: 2011
Sivunumerot: 75 - 91
Tieteenala: Luonnontieteet
Tietojenkäsittely ja informaatiotieteet
Koulutusala: Luonnontieteellinen
Paikalliset tekijät ja heidän affiliaationsa: Troubitsyna, Elena - Åbo Akademi, Datavetenskap
Laibinis, Linas - Åbo Akademi, Datavetenskap
Prokhorova, Yuliya - Åbo Akademi, Datavetenskap
Sarja: Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Organisaation sisäinen affiliaatio: Åbo Akademi, Datavetenskap