Login / Signup
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems.
Shankara Narayanan Krishna
Ashutosh Trivedi
Published in:
CoRR (2015)
Keyphrases
</>
hybrid automata
cyber physical systems
cyber physical
real time
model checking
data mining
data model
physical world