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

Iuliia Prokhorova, Elena Troubitsyna

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Sivut	93–118
Julkaisu	International Journal of Critical Computer-Based Systems
Vuosikerta	4
Numero	2
DOI - pysyväislinkit	https://doi.org/10.1504/IJCCBS.2013.056485
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@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 -