Relational Test Tables – A Practical Specification Language for Evolution and Security

; Cha, Suhyun; Beckert, Bernhard

; Vogel-Heuser, Birgit

Originalveröffentlichung
DOI: 10.1145/3372020.3391566

Scopus
Zitationen: 5

Dimensions
Zitationen: 4

Seitenaufrufe: 82
seit 10.12.2020

Zugehörige Institution(en) am KIT	Institut für Theoretische Informatik (ITI)
Publikationstyp	Proceedingsbeitrag
Publikationsmonat/-jahr	10.2020
Sprache	Englisch
Identifikator	ISBN: 978-1-4503-7071-4 KITopen-ID: 1000127213
Erschienen in	FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, Seoul Republic of Korea, October, 2020
Veranstaltung	8th International Conference on Software Engineering and Formal Methods (FormaliSE 2020), Seoul, Südkorea, 07.10.2020
Verlag	Association for Computing Machinery (ACM)
Seiten	77–86
Vorab online veröffentlicht am	12.09.2020
Nachgewiesen in	OpenAlex Dimensions Scopus
Relationen in KITopen	Verweist auf Formal Specification and Verification for Automated Production Systems. Weigl, Alexander Sebastian; Beckert, B. (2021) Hochschulschrift (1000140942)