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

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna

Research output: Contribution to journalArticleScientificpeer-review

14 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