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

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

23 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Sivut	51–76
Julkaisu	Information and Software Technology
Vuosikerta	60
DOI - pysyväislinkit	https://doi.org/10.1016/j.infsof.2015.01.001
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

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