de Maeyer, R., Hermanns, H., & Maggio, M. (2026). Over-approximation of weakly-hard constraints for control systems verification (Extended).
Chicago-Zitierstil (17. Ausg.)de Maeyer, Rieke, Holger Hermanns, und Martina Maggio. Over-approximation of Weakly-hard Constraints for Control Systems Verification (Extended). 2026.
MLA-Zitierstil (9. Ausg.)de Maeyer, Rieke, et al. Over-approximation of Weakly-hard Constraints for Control Systems Verification (Extended). 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.