Home > Publications > Publikationen

Publikationen

Schivo, Stefano;Yildiz., Bugra M.;Ruijters, Enno;Gerking, Christopher;Kumar, Rajesh;Dziwok, Stefan;Rensink, Arend;Stoelinga, Mariëlle:

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

In: Larsen, Kim G.;Sokolsky, Oleg;Wang, Ji (eds.) : Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Lecture Notes in Computer Science, number 10606, pp. 319-336, Changsha, Oct 23 - 25, 2017, Springer

Weblink

https://link.springer.com/chapter/10.1007/978-3-319-69483-2_19

Bibtex

@inproceedings{hniid=9572,
author = {Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle},
title = {How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach},
editor = {Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji},
booktitle = {Dependable Software Engineering, 3rd International Symposium (SETTA 2017)},
number = {10606},
series = {Lecture Notes in Computer Science},
pages = {319-336},
address = {Changsha},
publisher = {Springer},
month = {23~-~25~} # oct,
year = {2017},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/9572