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


My Account