Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata

Research output: Book/Journal/Report › Commissioned report › Professional

Original language	Undefined/Unknown
Publisher	Turku Centre for Computer Science (TUCS)
ISBN (Print)	978-952-12-2925-1
Publication status	Published - 2013
MoE publication type	D4 Published development or research report or study

Cite this

@book{65f15c8cd9c04608b2924b1c5e46dedd,

title = "Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata",

author = "Mehdi Nobakht and Dragos Truscan",

note = "TUCS Technical Report No 1087, June 2013",

year = "2013",

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

isbn = "978-952-12-2925-1",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

T1 - Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata

AU - Nobakht, Mehdi

AU - Truscan, Dragos

N1 - TUCS Technical Report No 1087, June 2013

PY - 2013

Y1 - 2013

M3 - Beställd rapport

SN - 978-952-12-2925-1

BT - Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata

PB - Turku Centre for Computer Science (TUCS)

ER -