Trivedi, Ashutosh, Department of Computer Science and Engineering Indian Institute of Technology Bombay Mumbai, India 400076, India
-
Vol 93, No 3 (2013): (Jul - Sep. 2013)Cyber Physical Systems - Review Articles
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
Abstract PDF
ISSN: 0970-4140