KIT | KIT-Bibliothek | Impressum | Datenschutz

Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems

Weigl, Alexander; Wiebe, Franziska; Ulbrich, Mattias; Ulewicz, Sebastian; Cha, Suhyun; Kirsten, Michael; Beckert, Bernhard; Birgit Vogel-Heuser

Open Access Logo


Postprint §
DOI: 10.5445/IR/1000072054
Veröffentlicht am 28.03.2019
Coverbild
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2017
Sprache Englisch
Identifikator urn:nbn:de:swb:90-720545
KITopen-ID: 1000072054
Erschienen in 15th IEEE International Conference on Industrial Informatics (INDIN 2017), Emden, July 24-26 2017
Verlag IEEE
Projektinformation KASTEL_SKI (BMBF, 16KIS0843)
SPP 1593 (DFG, DFG KOORD, BE 2334/7-2)
SPP 1593 (DFG, DFG KOORD, UL 433/1-2)
Externe Relationen Siehe auch
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page