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

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna

Research output: Contribution to journal › Article › Scientific › peer-review

23 Citations (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	51–76
Journal	Information and Software Technology
Volume	60
DOIs	https://doi.org/10.1016/j.infsof.2015.01.001
Publication status	Published - 2015
MoE publication type	A1 Journal article-refereed

Access to Document

@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 -