TU Darmstadt / ULB / TUbiblio

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

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner (2021):
Automated model extraction: From non-deterministic C code to active objects.
In: Science of Computer Programming, 204, Elsevier, ISSN 0167-6423,
DOI: 10.1016/j.scico.2020.102597,
[Article]

Item Type: Article
Erschienen: 2021
Creators: Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Title: Automated model extraction: From non-deterministic C code to active objects
Language: English
Journal or Publication Title: Science of Computer Programming
Journal volume: 204
Publisher: Elsevier
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 22 Jul 2021 07:39
DOI: 10.1016/j.scico.2020.102597
Additional Information:

Art.No.: 102597

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details