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 proceedingChapterScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationDependability and Computer Engineering: Concepts for Software-Intensive Systems
EditorsLuigia Petre, Kaisa Sere, Elena Troubitsyna
PublisherInformation science reference IGI
Pages75–91
ISBN (Print)9781609607470
DOIs
Publication statusPublished - 2011
MoE publication typeA3 Part of a book or another research book

Cite this