Supporting Formal Modelling in Event-B with Safety Cases

Iuliia Prokhorova, E Troubitsyna, Linas Laibinis

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

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 4th Rodin User and Developer Workshop
    EditorsM Butler, S Hallerstede, M Waldén
    PublisherTurku Centre for Computer Science
    ISBN (Electronic)1797-8831
    ISBN (Print)978-952-12-2899-5
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication
    EventRodin User and Developer Workshop - 4th Rodin User and Developer Workshop
    Duration: 10 Jun 201311 Jun 2013


    ConferenceRodin User and Developer Workshop

    Cite this