TU Darmstadt / ULB / TUbiblio

Modeling Non-deterministic C Code with Active Objects

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hojjat, Hossein ; Massink, Mieke (eds.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Lecture Notes in Computer Science, 11761, In: Fundamentals of Software Engineering, pp. 213-227,
Springer, 8th International Conference on Fundamentals of Software Engineering (FSEN 2019), Tehran, Iran, 01.-03.05.2019, ISBN 978-3-030-31516-0,
DOI: 10.1007/978-3-030-31517-7_15,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2019
Editors: Hojjat, Hossein ; Massink, Mieke
Creators: Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Title: Modeling Non-deterministic C Code with Active Objects
Language: English
Title of Book: Fundamentals of Software Engineering
Series Name: Lecture Notes in Computer Science
Volume: 11761
Publisher: Springer
ISBN: 978-3-030-31516-0
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: 8th International Conference on Fundamentals of Software Engineering (FSEN 2019)
Event Location: Tehran, Iran
Event Dates: 01.-03.05.2019
Date Deposited: 29 Nov 2019 06:44
DOI: 10.1007/978-3-030-31517-7_15
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