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

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

23 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Sidor (från-till)	51–76
Tidskrift	Information and Software Technology
Volym	60
DOI	https://doi.org/10.1016/j.infsof.2015.01.001
Status	Publicerad - 2015
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@article{80869e5257ce44da81e87cc259088d40,

title = "Facilitating Construction of Safety Cases from Formal Models in Event-B",

author = "Yuliya Prokhorova and Linas Laibinis and Elena Troubitsyna",

year = "2015",

doi = "10.1016/j.infsof.2015.01.001",

language = "Odefinierat/ok{\"a}nt",

volume = "60",

pages = "51–76",

journal = "Information and Software Technology",

issn = "0950-5849",

publisher = "Elsevier",

}

TY - JOUR

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

AU - Prokhorova, Yuliya

AU - Laibinis, Linas

AU - Troubitsyna, Elena

PY - 2015

Y1 - 2015

U2 - 10.1016/j.infsof.2015.01.001

DO - 10.1016/j.infsof.2015.01.001

M3 - Artikel

SN - 0950-5849

VL - 60

SP - 51

EP - 76

JO - Information and Software Technology

JF - Information and Software Technology

ER -