Facilitating Construction of Safety Cases from Formal Models in Event-B

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna

    Research output: Contribution to journalArticleScientificpeer-review

    15 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)51–76
    JournalInformation and Software Technology
    Volume60
    DOIs
    Publication statusPublished - 2015
    MoE publication typeA1 Journal article-refereed

    Cite this