1 × Germany
1 × USA
D.Goswami S.Chakraborty P.Kumar K.Lampka L.Thiele A.Masrur J.Chen A.Banerjee
physic (2) hybrid (2) cyber (2) protocol (1) communic (1) approach (1) analysi (1) system (1) applic (1) verif (1)
Person: Anuradha Annaswamy
Wrote 2 papers:
- DAC-2012-KumarGCALT #approach #cyber-physical #hybrid #verification
- A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
- DATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #hybrid #protocol
- Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.