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

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Yuliya Prokhorova, Elena Troubitsyna
Förläggare: Inderscience Enterprises Ltd.
Publiceringsår: 2013
Tidskrift: International Journal of Critical Computer-Based Systems
Volym: 4
Nummer: 2
Artikelns första sida, sidnummer: 93
Artikelns sista sida, sidnummer: 118
eISSN: 1757-8787

Senast uppdaterad 2019-19-10 vid 03:16