How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach Schivo, Stefano Yildiz., Bugra M. Ruijters, Enno Gerking, Christopher Kumar, Rajesh Dziwok, Stefan Rensink, Arend Stoelinga, Mariëlle Larsen, Kim G. Sokolsky, Oleg Wang, Ji Springer 2017 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/20792 Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>. Lecture Notes in Computer Science. Springer; 2017:319-336. doi:<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-69483-2_19 info:eu-repo/semantics/closedAccess