A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

A3 Book section, Chapters in research books

Internal Authors/Editors

Publication Details

List of Authors: Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal
Editors: Holzinger A, Cardoso J, Cordeiro J, Libourel T, Maciaszek L, Sinderen M
Publisher: Springer VS
Publication year: 2015
Publisher: Springer
Book title: Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Title of series: Communications in Computer and Information Science
Volume number: 555
Start page: 349
End page: 364
ISBN: 978-3-319-25578-1
eISBN: 978-3-319-25579-8
ISSN: 1865-0929

Last updated on 2020-09-04 at 08:51