KIT | KIT-Bibliothek | Impressum | Datenschutz

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

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


Download
Originalveröffentlichung
DOI: 10.1007/978-3-319-69483-2_19
Scopus
Zitationen: 8
Dimensions
Zitationen: 6
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2017
Sprache Englisch
Identifikator ISBN: 978-3-319-69482-5
KITopen-ID: 1000142771
Erschienen in Dependable software engineering : theories, tools, and applications$dThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings. Ed.: K. G. Larsen
Veranstaltung Third International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2017), Changsha, China, 23.10.2017 – 25.10.2017
Verlag Springer
Seiten 319–336
Serie Lecture Notes in Computer Science ; 10606
Externe Relationen Siehe auch
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page