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

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Yuliya Prokhorova, Elena Troubitsyna
Publisher: Inderscience Enterprises Ltd.
Publication year: 2013
Journal: International Journal of Critical Computer-Based Systems
Volume number: 4
Issue number: 2
Start page: 93
End page: 118
eISSN: 1757-8787

Last updated on 2019-19-07 at 04:58