Patterns for Representing FMEA in Formal Specification of Control Systems

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Redaktörer: Agarwal A, Gokhale S, Khoshgoftaar TM
Förläggare: IEEE Conference Publishing Services (CPS)
Publiceringsår: 2011
Förläggare: IEEE
Moderpublikationens namn: High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Artikelns första sida, sidnummer: 146
Artikelns sista sida, sidnummer: 151
ISBN: 978-1-4673-0107-7
ISSN: 1530-2059

Senast uppdaterad 2020-06-04 vid 04:32