Tool Demo accepted in RTSS 2016

Tool paper "REVERT: A Monitor Generation Tool for Real-Time Systems" accepted for IEEE Real-Time Systems Symposium (RTSS) conference. This is to be held in Porto, Portugal from November 29 - December 2, 2016. Authors are: Sangeeth, Dr. Nellisen, Dr. Pereira, and Dr. Purandare.

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.