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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	ICSEA 2013, The Eighth International Conference on Software Engineering Advances
Redaktörer	L Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart, M Jäntti
Förlag	Iaria xps press
Sidor	79–85
ISBN (tryckt)	978-1-61208-304-9
Status	Publicerad - 2013
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Software Engineering Advances, ICSEA - The Eighth International Conference on Software Engineering Advances, ICSEA 2013 Varaktighet: 27 okt. 2013 → 1 nov. 2013

Konferens	International Conference on Software Engineering Advances, ICSEA
Period	27/10/13 → 01/11/13

Citera det här

@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. i L Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart & M Jäntti (red), ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Iaria xps press, s. 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. red. / L Lavazza; R Oberhauser; A Martin; J Hassine; M Gebhart; M Jäntti. Iaria xps press, 2013. s. 79–85.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

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

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 -