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

A3 Book section, Chapters in research books


Internal Authors/Editors


Publication Details

List of Authors: Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Editors: Luigia Petre, Kaisa Sere, Elena Troubitsyna
Publisher: IGI Global
Publication year: 2011
Publisher: Information science reference IGI
Book title: Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Start page: 75
End page: 91
ISBN: 9781609607470

Last updated on 2019-21-10 at 04:01