Linking Modelling in Event-B with Safety Cases

Iuliia Prokhorova, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationSoftware Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
EditorsP Avgeriou
PublisherSpringer
Pages47–62
ISBN (Electronic)978-3-642-33176-3
ISBN (Print)978-3-642-33175-6
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Software Engineering for Resilient Systems - SERENE 2012: Software Engineering for Resilient Systems
Duration: 27 Sep 201228 Sep 2012

Conference

ConferenceInternational Workshop on Software Engineering for Resilient Systems
Period27/09/1228/09/12

Cite this