Conference Publication

Targeted Approach to Formal Model Checking; A Case Study
April 2014

 

Authors: Ram Narayan

Venue: Mentor Graphics User2User Conference, April 2015

Hardware and Software, Engineered to Work Together