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

Iuliia Prokhorova; Elena Troubitsyna; Linas Laibinis; Vyacheslav Kharchenko

doi:10.4018/978-1-60960-747-0.ch005

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

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

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

Original language	Undefined/Unknown
Title of host publication	Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Editors	Luigia Petre, Kaisa Sere, Elena Troubitsyna
Publisher	Information science reference IGI
Pages	75–91
ISBN (Print)	9781609607470
DOIs	https://doi.org/10.4018/978-1-60960-747-0.ch005
Publication status	Published - 2011
MoE publication type	A3 Part of a book or another research book

Access to Document

10.4018/978-1-60960-747-0.ch005

Cite this

@inbook{b1f6f1497d82413eae5dbfe2a0fa6d66,

title = "Development of Safety-Critical Control Systems in Event-B Using FMEA",

author = "Iuliia Prokhorova and Elena Troubitsyna and Linas Laibinis and Vyacheslav Kharchenko",

year = "2011",

doi = "10.4018/978-1-60960-747-0.ch005",

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

isbn = "9781609607470",

pages = "75–91",

editor = "Luigia Petre and Kaisa Sere and Elena Troubitsyna",

booktitle = "Dependability and Computer Engineering: Concepts for Software-Intensive Systems",

publisher = "Information science reference IGI",

}

Development of Safety-Critical Control Systems in Event-B Using FMEA. / Prokhorova, Iuliia; Troubitsyna, Elena; Laibinis, Linas et al.
Dependability and Computer Engineering: Concepts for Software-Intensive Systems. ed. / Luigia Petre; Kaisa Sere; Elena Troubitsyna. Information science reference IGI, 2011. p. 75–91.

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

TY - CHAP

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

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

AU - Laibinis, Linas

AU - Kharchenko, Vyacheslav

PY - 2011

Y1 - 2011

U2 - 10.4018/978-1-60960-747-0.ch005

DO - 10.4018/978-1-60960-747-0.ch005

M3 - Kapitel

SN - 9781609607470

SP - 75

EP - 91

BT - Dependability and Computer Engineering: Concepts for Software-Intensive Systems

A2 - Petre, Luigia

A2 - Sere, Kaisa

A2 - Troubitsyna, Elena

PB - Information science reference IGI

ER -