vix.ing · top · new · best · stats · spec

Bhaduri, Purandar

  1. Model Checking of Statechart Models: Survey and Research Directions
    2004/07/16 by Purandar Bhaduri, Bhaduri, Purandar, S. Ramesh +1 · 1 voice
    Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.SE