Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.

Abhishek Dubey, Xianbin Wu, Hang Su, Tak-John Koo

Browse the full ATVA paper archive.