IIIT-Delhi Institutional Repository

Browsing Year-2016 by Subject "Monitor"

Browsing Year-2016 by Subject "Monitor"

Sort by: Order: Results:

  • Kochanthara, Sangeeth; Purandare, Rahul (Advisor) (2016-11-01)
    Real-time systems are becoming more complex and open, thus increasing their development and verification costs. Although several static verification tools have been proposed over the last decades, they suffer from scalability ...

Search Repository


Advanced Search

Browse

My Account