Facilitating Construction of Safety Cases from Formal Models in Event-B

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Publisher: Elsevier
Publication year: 2015
Journal: Information and Software Technology
Volume number: 60
Start page: 51
End page: 76
eISSN: 1873-6025

Last updated on 2019-14-10 at 05:13