Patterns for Representing FMEA in Formal Specification of Control Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Editors: Agarwal A, Gokhale S, Khoshgoftaar TM
Publisher: IEEE Conference Publishing Services (CPS)
Publication year: 2011
Publisher: IEEE
Book title: High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Start page: 146
End page: 151
ISBN: 978-1-4673-0107-7
ISSN: 1530-2059

Last updated on 2019-20-09 at 04:54