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

A3 Bokavsnitt, kapitel i forskningsböcker


Interna författare/redaktörer


Publikationens författare: Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal
Redaktörer: Holzinger A, Cardoso J, Cordeiro J, Libourel T, Maciaszek L, Sinderen M
Förläggare: Springer VS
Publiceringsår: 2015
Förläggare: Springer
Moderpublikationens namn: Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Seriens namn: Communications in Computer and Information Science
Volym: 555
Artikelns första sida, sidnummer: 349
Artikelns sista sida, sidnummer: 364
ISBN: 978-3-319-25578-1
eISBN: 978-3-319-25579-8
ISSN: 1865-0929

Senast uppdaterad 2020-07-07 vid 05:57