Login
- Title:
A Hybrid Approach to Cyber-Physical Systems Verification
- Author(s):
- Kumar, Pratyush; Goswami, Dip; Chakraborty, Samarjit; Annaswamy, Anuradha; Lampka, Kai; Thiele, Lothar
- Book / Congress title:
- 49th Design Automation Conference (DAC)
- Publisher address:
- San Francisco, USA
- Year:
- 2012
BibTeX