Travelled to:1 × France
1 × United Kingdom
Collaborated with:S.Owre N.Shankar S.Roy K.Chakraborty
Talks about:dimension (1) synchron (1) protocol (1) calendar (1) startup (1) automat (1) analysi (1) system (1) physic (1) verif (1)
Person: Indranil Saha
DBLP: Saha:Indranil
Contributed to:
2012
2007Wrote 2 papers:
- FM-2012-OwreSS #analysis #automation #cyber-physical
- Automatic Dimensional Analysis of Cyber-Physical Systems (SO, IS, NS), pp. 356–371.
- SEFM-2007-SahaRC #modelling #protocol #using #verification
- Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar (IS, SR, KC), pp. 69–79.