Using ordered partial binary decision diagrams, forced basis nodes, and the blocking method for observability to calculate bounds on testability analysis measures
Andrew H. Crofts · OakTrust (Texas A&M University Libraries) · 1995
Due to the character of the original source materials and the nature of batch digitization, quality control issues may be present in this document. Please report any quality issues you encounter to [email protected], referencing the URI of the item.