KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Weigl, Alexander ORCID iD icon; Ulbrich, Mattias ORCID iD icon; Cha, Suhyun; Beckert, Bernhard ORCID iD icon; Vogel-Heuser, Birgit


Originalveröffentlichung
DOI: 10.1145/3372020.3391566
Scopus
Zitationen: 3
Dimensions
Zitationen: 2
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page