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

  • Veröffentlicht am: 26 März, 2021 - 08:36
TitelAutomated 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