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

A3 Bokavsnitt, kapitel i forskningsböcker


Interna författare/redaktörer


Publikationens författare: Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Redaktörer: Luigia Petre, Kaisa Sere, Elena Troubitsyna
Förläggare: IGI Global
Publiceringsår: 2011
Förläggare: Information science reference IGI
Moderpublikationens namn: Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Artikelns första sida, sidnummer: 75
Artikelns sista sida, sidnummer: 91
ISBN: 9781609607470

Senast uppdaterad 2019-12-11 vid 03:05