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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Toimittajat	Luigia Petre, Kaisa Sere, Elena Troubitsyna
Kustantaja	Information science reference IGI
Sivut	75–91
ISBN (painettu)	9781609607470
DOI - pysyväislinkit	https://doi.org/10.4018/978-1-60960-747-0.ch005
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Pääsy asiakirjaan

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

Viittausmuodot

Prokhorova, I., Troubitsyna, E., Laibinis, L., & Kharchenko, V. (2011). Development of Safety-Critical Control Systems in Event-B Using FMEA. teoksessa L. Petre, K. Sere, & E. Troubitsyna (Toimittajat), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (Sivut 75–91). Information science reference IGI. https://doi.org/10.4018/978-1-60960-747-0.ch005

@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. toim. / Luigia Petre; Kaisa Sere; Elena Troubitsyna. Information science reference IGI, 2011. s. 75–91.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

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 -