Hara Gopal Mani Pakala. An Incremental Verification Paradigm for Embedded Systems. In Mayank Singh 0008, P. K. Gupta 0001, Vipin Tyagi, Arun Sharma, Tuncer I. Ören, William I. Grosky, editors, Advances in Computing and Data Sciences - First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12, 2016, Revised Selected Papers. Volume 721 of Communications in Computer and Information Science, pages 40-49, Springer, 2016. [doi]
Abstract is missing.