KIT | KIT-Bibliothek | Impressum

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



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2017
Sprache Englisch
Identifikator KITopen ID: 1000072054
Erschienen in 15th IEEE International Conference on Industrial Informatics (INDIN 2017), Emden, July 24-26 2017
Verlag IEEE
URLs Link
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page