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
    ISBN (Print)9781609607470
    Publication statusPublished - 2011
    MoE publication typeA3 Part of a book or another research book

    Cite this