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

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Förläggare: Elsevier
Publiceringsår: 2015
Tidskrift: Information and Software Technology
Volym: 60
Artikelns första sida, sidnummer: 51
Artikelns sista sida, sidnummer: 76
eISSN: 1873-6025

Senast uppdaterad 2019-10-12 vid 03:27