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

Research output: Contribution to journal › Article › Scientific › peer-review

2 Citations (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	93–118
Journal	International Journal of Critical Computer-Based Systems
Volume	4
Issue number	2
DOIs	https://doi.org/10.1504/IJCCBS.2013.056485
Publication status	Published - 2013
MoE publication type	A1 Journal article-refereed

Access to Document

@article{fd2ef58d0dd348e1ba1d53f1c522061f,

title = "A Survey of Safety-Oriented Model-Driven and Formal Development Approaches",

author = "Iuliia Prokhorova and Elena Troubitsyna",

year = "2013",

doi = "10.1504/IJCCBS.2013.056485",

language = "Odefinierat/ok{\"a}nt",

volume = "4",

pages = "93–118",

journal = "International Journal of Critical Computer-Based Systems",

issn = "1757-8779",

publisher = "Inderscience",

number = "2",

}

TY - JOUR

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

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

PY - 2013

Y1 - 2013

U2 - 10.1504/IJCCBS.2013.056485

DO - 10.1504/IJCCBS.2013.056485

M3 - Artikel

SN - 1757-8779

VL - 4

SP - 93

EP - 118

JO - International Journal of Critical Computer-Based Systems

JF - International Journal of Critical Computer-Based Systems

IS - 2

ER -