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

Postprint

DOI: 10.5445/IR/1000072054

Veröffentlicht am 28.03.2019

Seitenaufrufe: 10
seit 04.05.2018

Downloads: 1
seit 23.05.2019

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