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

  • Posted on: March 26, 2021 - 08:36
TitleAutomated model extraction: From non-deterministic C code to active objects
Publication TypeZeitschriftenartikel (erschienen)
Year of Publication2021
AuthorsWasser, N, Tabar, AHeydari, Hähnle, R
JournalScience of Computer Programming
Volume204
PublisherElsevier
DOI10.1016/j.scico.2020.102597
Undefined