共 14 条
- [3] Deng Peng., 2015, Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, P198
- [5] Formal Verification of Weakly-Hard Systems [J]. PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 197 - 207
- [6] Security-driven Codesign with Weakly-hard Constraints for Real-time Embedded Systems [J]. 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 217 - 226
- [7] Lin CW, 2014, ICCAD-IEEE ACM INT, P24, DOI 10.1109/ICCAD.2014.7001325
- [8] Lin CW, 2013, ICCAD-IEEE ACM INT, P115, DOI 10.1109/ICCAD.2013.6691106
- [9] Linsenmayer S, 2017, IEEE DECIS CONTR P, DOI 10.1109/CDC.2017.8264364
- [10] Pazzaglia P., 2018, P EUR C REAL TIM SYS, P1