Integrating FMEA into Event-B Development of Safety-Critical Control Systems

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

Research output: Book/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-2476-8
Publication statusPublished - 2010
MoE publication typeD4 Published development or research report or study

Cite this