KIT | KIT-Bibliothek | Impressum | Datenschutz
Suche im KITopen-Katalog

Repository KITopen

Flexible Correct-by-Construction Programming

Runge, Tobias 1; Bordis, Tabea 1; Potanin, Alex; Thüm, Thomas; Schaefer, Ina 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.46298/lmcs-19(2:16)2023
Scopus
Web of Science
Dimensions
BibTeX (UTF-8) BibTeX (ASCII) EndNote/Refer (.enw) RIS CSL-JSON ISI
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2023
Sprache Englisch
Identifikator ISSN: 1860-5974
KITopen-ID: 1000160537
HGF-Programm 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
Erschienen in Logical Methods in Computer Science
Verlag Logical Methods in Computer Science
Band Volume 19, Issue 2
Heft 2
Seiten 16:1 – 16:36
Vorab online veröffentlicht am 07.06.2023
Nachgewiesen in Scopus
Dimensions
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page