Biblio

Found 1 results

Filters: Author is Tran, Hoang-Dung [Clear All Filters]

2016

Duggirala PSridhar, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson TT, Nguyen LViet et al.. 2016. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications, (CCA). :1024–1029.