KIT | KIT-Bibliothek | Impressum | Datenschutz

Runtime Verification of Generalized Test Tables

Weigl, Alexander ORCID iD icon; Ulbrich, Mattias ORCID iD icon; Tyszberowicz, S.; Klamroth, J.


Download
Originalveröffentlichung
DOI: 10.1007/978-3-030-76384-8_22
Scopus
Zitationen: 2
Dimensions
Zitationen: 1
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2021
Sprache Englisch
Identifikator ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000136492
Erschienen in NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings. Ed.: A. Dutle
Veranstaltung 13th NASA Formal Methods Symposium (NFM 2021), Online, 24.05.2021 – 28.05.2021
Verlag Springer-Verlag
Seiten 358-374
Serie Lecture Notes in Computer Science (LNCS) ; 12673
Nachgewiesen in Dimensions
Scopus
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page