Found 2 results
Filters: Author is Erickson, John D [Clear All Filters]
Systems, methods and apparatus for implementation of formal specifications derived from informal requirements. # 7,739,671
.
2009. Systems, methods and apparatus for verification of knowledge-based sytems. Patent Number #7,752,608
.
2009.