A Survey of Safety-Oriented Model-Driven and Formal Development Approaches

Iuliia Prokhorova, Elena Troubitsyna

Research output: Contribution to journalArticleScientificpeer-review

2 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)93–118
JournalInternational Journal of Critical Computer-Based Systems
Volume4
Issue number2
DOIs
Publication statusPublished - 2013
MoE publication typeA1 Journal article-refereed

Cite this