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 2020-24-09 at 06:10

Share link