Login
- Titel:
A Hybrid Approach to Cyber-Physical Systems Verification
- Autor(en):
- Kumar, Pratyush; Goswami, Dip; Chakraborty, Samarjit; Annaswamy, Anuradha; Lampka, Kai; Thiele, Lothar
- Kongress- / Buchtitel:
- 49th Design Automation Conference (DAC)
- Verlagsort:
- San Francisco, USA
- Jahr:
- 2012
BibTeX