Journal of the Indian Institute of Science Journal

Overview

publication venue for

• Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems 2013