Relational Test Tables – A Practical Specification Language for Evolution and Security
Weigl, Alexander
; Ulbrich, Mattias
; Cha, Suhyun; Beckert, Bernhard
; Vogel-Heuser, Birgit
; Ulbrich, Mattias
; Cha, Suhyun; Beckert, Bernhard
; Vogel-Heuser, Birgit| 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 | Dimensions Scopus |
| Relationen in KITopen |