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 2020-28-09 at 03:02