Revision as of 22:13, 1 October 2016 by Grosu
Bhargava Manja was an undergraduate student at UIUC and an employee at Runtime Verification, Inc.. Checkout his Linked webpage at https://www.linkedin.com/in/bhargava-manja-00024956 for latest news.
Publications within FSL
- RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
- Philip Daian and Bhargava Manja and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
SAE'16, SAE International 2016-01-0126, pp 1-13. 2016
PDF, Slides(PPT), RV-ECU, DOI, SAE'16, BIB