Supporting Formal Modelling in Event-B with Safety Cases

Iuliia Prokhorova; E Troubitsyna; Linas Laibinis

Supporting Formal Modelling in Event-B with Safety Cases

Iuliia Prokhorova, E Troubitsyna, Linas Laibinis

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 4th Rodin User and Developer Workshop
Editors	M Butler, S Hallerstede, M Waldén
Publisher	Turku Centre for Computer Science
Pages	–
ISBN (Electronic)	1797-8831
ISBN (Print)	978-952-12-2899-5
Publication status	Published - 2013
MoE publication type	A4 Article in a conference publication
Event	Rodin User and Developer Workshop - 4th Rodin User and Developer Workshop Duration: 10 Jun 2013 → 11 Jun 2013

Conference

Conference	Rodin User and Developer Workshop
Period	10/06/13 → 11/06/13

Cite this

@inproceedings{937a23f83a6342cba2fe79f115c77d47,

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

author = "Iuliia Prokhorova and E Troubitsyna and Linas Laibinis",

year = "2013",

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

isbn = "978-952-12-2899-5",

pages = "–",

editor = "M Butler and S Hallerstede and M Wald{\'e}n",

booktitle = "Proceedings of the 4th Rodin User and Developer Workshop",

publisher = "Turku Centre for Computer Science",

note = "Rodin User and Developer Workshop ; Conference date: 10-06-2013 Through 11-06-2013",

}

Supporting Formal Modelling in Event-B with Safety Cases. / Prokhorova, Iuliia; Troubitsyna, E; Laibinis, Linas.
Proceedings of the 4th Rodin User and Developer Workshop. ed. / M Butler; S Hallerstede; M Waldén. Turku Centre for Computer Science, 2013. p. –.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Supporting Formal Modelling in Event-B with Safety Cases

AU - Prokhorova, Iuliia

AU - Troubitsyna, E

AU - Laibinis, Linas

PY - 2013

Y1 - 2013

M3 - Konferensbidrag

SN - 978-952-12-2899-5

SP - –

BT - Proceedings of the 4th Rodin User and Developer Workshop

A2 - Butler, M

A2 - Hallerstede, S

A2 - Waldén, M

PB - Turku Centre for Computer Science

T2 - Rodin User and Developer Workshop

Y2 - 10 June 2013 through 11 June 2013

ER -