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 2020-20-09 at 05:09