Found 1 results
Filters: Author is Bultan, Tevfik  [Clear All Filters]
2006
Bultan, T., and C. L. Heitmeyer, "Analyzing Tabular Requirements Specifications Using Infinite State Model Checking", Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), Napa, California, 2006. BultanHeitmeyer2006.pdf (163.42 KB)