Modeling Non-deterministic C Code with Active Objects

  • Veröffentlicht am: 18 Dezember, 2019 - 20:04
TitelModeling Non-deterministic C Code with Active Objects
Publication TypeKonferenzartikel (erschienen)
Year of Publication2019
AuthorsWasser, N, Tabar, AHeydari, Hähnle, R
Conference NameProceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN)
Pagination213-227
PublisherSpringer
DOI10.1007/978-3-030-31517-7_15
Undefined