Towards Energy-aware Cyber-Physical Systems Verification and Optimization. | 0 | 0.34 | 2021 |
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. | 2 | 0.37 | 2019 |
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL. | 0 | 0.34 | 2019 |
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. | 0 | 0.34 | 2019 |
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. | 0 | 0.34 | 2018 |