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