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
; 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) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 | Institute of Electrical and Electronics Engineers (IEEE) |
| Projektinformation | SPP 1593 (DFG, DFG KOORD, BE 2334/7-2) SPP 1593 (DFG, DFG KOORD, UL 433/1-2) KASTEL_SKI (BMBF, EU 6. RP, 16KIS0843) |
| Externe Relationen | Siehe auch |
| Relationen in KITopen |