Login / Signup

Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems.

Jian-Jia ChenNiklas UeterMario GünzelGeorg von der BrüggenTei-Wei Kuo
Published in: DAC (2023)
Keyphrases
  • real time systems
  • cyber physical
  • real time
  • distributed systems
  • social networks
  • mobile devices
  • open source
  • data management
  • embedded systems
  • physical world
  • architectural model