Difference between revisions of "Bhargava Manja"
From FSL
Line 1: | Line 1: | ||
Bhargava Manja was an undergraduate student at UIUC and an employee at [http://runtimeverification.com Runtime Verification, Inc.]. | Bhargava Manja was an undergraduate student at UIUC and an employee at [http://runtimeverification.com Runtime Verification, Inc.]. | ||
Checkout his Linked webpage at https://www.linkedin.com/in/bhargava-manja-00024956 for latest news. | Checkout his Linked webpage at https://www.linkedin.com/in/bhargava-manja-00024956 for latest news. | ||
− | |||
− | |||
<pubbib author="Bhargava Manja" category="fsl"></pubbib> | <pubbib author="Bhargava Manja" category="fsl"></pubbib> |
Latest revision as of 22:14, 1 October 2016
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.
- 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