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

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Publisher: Turku Centre for Computer Science (TUCS)
Place: Turku
Publication year: 2010
Start page: 1
End page: 18
ISBN: 978-952-12-2476-8

Last updated on 2019-21-09 at 02:50