KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated model extraction: From non-deterministic C code to active objects

Wasser, Nathan ; Heydari Tabar, Asmae ORCID iD icon; Hähnle, Reiner


Download
Originalveröffentlichung
DOI: 10.1016/J.SCICO.2020.102597
Scopus
Zitationen: 3
Web of Science
Zitationen: 3
Dimensions
Zitationen: 4
Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Zeitschriftenaufsatz
Publikationsdatum 01.04.2021
Sprache Englisch
Identifikator ISSN: 0167-6423
KITopen-ID: 1000181398
Erschienen in Science of Computer Programming
Verlag Elsevier
Band 204
Heft 5
Seiten Art.-Nr.: 102597
Vorab online veröffentlicht am 06.01.2021
Externe Relationen ResearchGate
Siehe auch
Nachgewiesen in Scopus
OpenAlex
Dimensions
Web of Science
Globale Ziele für nachhaltige Entwicklung Ziel 16 – Frieden, Gerechtigkeit und starke Institutionen
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page