Translated title of the contribution | Efficient realization of logical execution times in legacy embedded software |
---|---|
Original language | English |
Title of host publication | In Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017 |
DOIs | |
Publication status | Published - 2017 |
Fields of Science and Technology Classification 2012
- 101 Mathematics
- 102 Computer Sciences