Linking Modelling in Event-B with Safety Cases

Iuliia Prokhorova; Elena Troubitsyna

doi:10.1007/978-3-642-33176-3_4

Linking Modelling in Event-B with Safety Cases

Iuliia Prokhorova
, Elena Troubitsyna

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

4 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Software Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Toimittajat	P Avgeriou
Kustantaja	Springer
Sivut	47–62
ISBN (elektroninen)	978-3-642-33176-3
ISBN (painettu)	978-3-642-33175-6
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-33176-3_4
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Software Engineering for Resilient Systems - SERENE 2012: Software Engineering for Resilient Systems Kesto: 27 syysk. 2012 → 28 syysk. 2012

Konferenssi

Konferenssi	International Workshop on Software Engineering for Resilient Systems
Ajanjakso	27/09/12 → 28/09/12

Pääsy asiakirjaan

10.1007/978-3-642-33176-3_4

Viittausmuodot

@inproceedings{e220b5fb074242069d3b9f3844ad9847,

title = "Linking Modelling in Event-B with Safety Cases",

author = "Iuliia Prokhorova and Elena Troubitsyna",

year = "2012",

doi = "10.1007/978-3-642-33176-3\_4",

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

isbn = "978-3-642-33175-6",

pages = "47–62",

editor = "P Avgeriou",

booktitle = "Software Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings",

publisher = "Springer",

note = "International Workshop on Software Engineering for Resilient Systems ; Conference date: 27-09-2012 Through 28-09-2012",

}

Prokhorova, I & Troubitsyna, E 2012, Linking Modelling in Event-B with Safety Cases. julkaisussa P Avgeriou (Toimittaja), Software Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Springer, Sivut 47–62, International Workshop on Software Engineering for Resilient Systems, 27/09/12. https://doi.org/10.1007/978-3-642-33176-3_4

Linking Modelling in Event-B with Safety Cases. / Prokhorova, Iuliia; Troubitsyna, Elena.
Software Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. toim. / P Avgeriou. Springer, 2012. s. 47–62.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Linking Modelling in Event-B with Safety Cases

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-33176-3_4

DO - 10.1007/978-3-642-33176-3_4

M3 - Publicerad konferensartikel

SN - 978-3-642-33175-6

SP - 47

EP - 62

BT - Software Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

A2 - Avgeriou, P

PB - Springer

T2 - International Workshop on Software Engineering for Resilient Systems

Y2 - 27 September 2012 through 28 September 2012

ER -