An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht; Dragos Truscan

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht
, Dragos Truscan

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	ICSEA 2013, The Eighth International Conference on Software Engineering Advances
Toimittajat	L Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart, M Jäntti
Kustantaja	Iaria xps press
Sivut	79–85
ISBN (painettu)	978-1-61208-304-9
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Software Engineering Advances, ICSEA - The Eighth International Conference on Software Engineering Advances, ICSEA 2013 Kesto: 27 lokak. 2013 → 1 marrask. 2013

Konferenssi

Konferenssi	International Conference on Software Engineering Advances, ICSEA
Ajanjakso	27/10/13 → 01/11/13

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Vastuullinen tutkija), Ahmad, T. (CoI), Iqbal, J. (Vastuullinen tutkija), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekti: Industry/Business Finland

Viittausmuodot

@inproceedings{991a72b2ae834422b3be67d5032ec125,

title = "An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems",

author = "Mehdi Nobakht and Dragos Truscan",

year = "2013",

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

isbn = "978-1-61208-304-9",

pages = "79–85",

editor = "L Lavazza and R Oberhauser and A Martin and J Hassine and M Gebhart and M J{\"a}ntti",

booktitle = "ICSEA 2013, The Eighth International Conference on Software Engineering Advances",

publisher = "Iaria xps press",

note = "International Conference on Software Engineering Advances, ICSEA ; Conference date: 27-10-2013 Through 01-11-2013",

}

Nobakht, M & Truscan, D 2013, An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems. julkaisussa L Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart & M Jäntti (toim), ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Iaria xps press, Sivut 79–85, International Conference on Software Engineering Advances, ICSEA, 27/10/13.

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems. / Nobakht, Mehdi; Truscan, Dragos.
ICSEA 2013, The Eighth International Conference on Software Engineering Advances. toim. / L Lavazza; R Oberhauser; A Martin; J Hassine; M Gebhart; M Jäntti. Iaria xps press, 2013. s. 79–85.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

AU - Nobakht, Mehdi

AU - Truscan, Dragos

PY - 2013

Y1 - 2013

M3 - Publicerad konferensartikel

SN - 978-1-61208-304-9

SP - 79

EP - 85

BT - ICSEA 2013, The Eighth International Conference on Software Engineering Advances

A2 - Lavazza, L

A2 - Oberhauser, R

A2 - Martin, A

A2 - Hassine, J

A2 - Gebhart, M

A2 - Jäntti, M

PB - Iaria xps press

T2 - International Conference on Software Engineering Advances, ICSEA

Y2 - 27 October 2013 through 1 November 2013

ER -

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Konferenssi

Projektit

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Viittausmuodot