Sign in
Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.
Li Huang
Eun-Young Kang
Published in:
RTSS (2019)
Keyphrases
</>
formal analysis
cyber physical systems
agent model
formal methods
artificial intelligence
data analysis
low cost
cyber physical