# Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems
**Wikidata**: [eu_cordis:865170](https://www.wikidata.org/wiki/eu_cordis:865170)  
**Source**: https://4ort.xyz/entity/property-based-modulable-timing-analysis-and-optimization-for-complex-cyber-physical-real-time-systems


## References

1. Source