Automated model extraction: From non-deterministic C code to active objects
Wasser, Nathan ; Heydari Tabar, Asmae
; Hähnle, Reiner
; Hähnle, Reiner 
| 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 |