مؤتمر
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C
العنوان: | From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C |
---|---|
المؤلفون: | Natarajan, Saranya, Nasri, Mitra, Broman, David, Brandenburg, Bjorn B., Nelissen, Geoffrey |
المصدر: | 2019 IEEE Real-Time Systems Symposium (RTSS) RTSS Real-Time Systems Symposium (RTSS), 2019 IEEE. :167-180 Dec, 2019 |
Relation: | 2019 IEEE Real-Time Systems Symposium (RTSS) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781728164632 |
---|---|
تدمد: | 25763172 |
DOI: | 10.1109/RTSS46320.2019.00025 |