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