Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems
| 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 | 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 |