A novel approach to Real-time contract based reasoning for Hybrid Systems.

Surinder Sood, Avinash Malik, Partha S. Roop

Browse the full MEMOCODE paper archive.