Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin; Alexei Iliasov; Alexander Romanovsky; Iuliia Prokhorova; Elena Troubitsyna

doi:10.1109/HASE.2011.10

Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Iuliia Prokhorova, Elena Troubitsyna

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

16 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Editors	A Agarwal, S Gokhale, TM Khoshgoftaar
Publisher	IEEE
Pages	146–151
ISBN (Print)	978-1-4673-0107-7
DOIs	https://doi.org/10.1109/HASE.2011.10
Publication status	Published - 2011
MoE publication type	A4 Article in a conference publication
Event	International Symposium on High-Assurance Systems Engineering (HASE) - 13th International Symposium on High-Assurance Systems Engineering (HASE), 2011 Duration: 10 Nov 2011 → 12 Nov 2011

Conference

Conference	International Symposium on High-Assurance Systems Engineering (HASE)
Period	10/11/11 → 12/11/11

Access to Document

10.1109/HASE.2011.10

Cite this

@inproceedings{a2699dce575b4e9d8b8cfdea307a6264,

title = "Patterns for Representing FMEA in Formal Specification of Control Systems",

author = "Ilya Lopatkin and Alexei Iliasov and Alexander Romanovsky and Iuliia Prokhorova and Elena Troubitsyna",

year = "2011",

doi = "10.1109/HASE.2011.10",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4673-0107-7",

pages = "146–151",

editor = "A Agarwal and S Gokhale and TM Khoshgoftaar",

booktitle = "High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on",

publisher = "IEEE",

note = "International Symposium on High-Assurance Systems Engineering (HASE) ; Conference date: 10-11-2011 Through 12-11-2011",

}

Lopatkin, I, Iliasov, A, Romanovsky, A, Prokhorova, I & Troubitsyna, E 2011, Patterns for Representing FMEA in Formal Specification of Control Systems. in A Agarwal, S Gokhale & TM Khoshgoftaar (eds), High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on. IEEE, pp. 146–151, International Symposium on High-Assurance Systems Engineering (HASE), 10/11/11. https://doi.org/10.1109/HASE.2011.10

Patterns for Representing FMEA in Formal Specification of Control Systems. / Lopatkin, Ilya; Iliasov, Alexei; Romanovsky, Alexander et al.
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on. ed. / A Agarwal; S Gokhale; TM Khoshgoftaar. IEEE, 2011. p. 146–151.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Patterns for Representing FMEA in Formal Specification of Control Systems

AU - Lopatkin, Ilya

AU - Iliasov, Alexei

AU - Romanovsky, Alexander

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

PY - 2011

Y1 - 2011

U2 - 10.1109/HASE.2011.10

DO - 10.1109/HASE.2011.10

M3 - Konferensbidrag

SN - 978-1-4673-0107-7

SP - 146

EP - 151

BT - High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on

A2 - Agarwal, A

A2 - Gokhale, S

A2 - Khoshgoftaar, TM

PB - IEEE

T2 - International Symposium on High-Assurance Systems Engineering (HASE)

Y2 - 10 November 2011 through 12 November 2011

ER -