Related projects

2017-2020. IoTTTA, IoT software testing using timed automata. Indo-French project supported by CNRS and DST, under the CEFIPRACNRSInria targeted program on ICT

2014-2016. AVeRTS, Algorithmic Verification of Real-Time Systems. Indo-French project supported by CNRS and DST, under the CEFIPRACNRSInria targeted program on ICT.