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

D4 Published development or research report or study

Internal Authors/Editors

Publication Details

List of Authors: Mehdi Nobakht, Dragos Truscan
Publisher: Turku Centre for Computer Science (TUCS)
Place: Turku
Publication year: 2013
Start page: 1
End page: 22
ISBN: 978-952-12-2925-1

Last updated on 2020-09-04 at 07:34