Checking the play in plug-and-play. Yazar: Goldstein, H.

Automatic interconnection rectification for SoC design verification based on the port order fault model. Yazar: Chun-Yao Wang

Robust Boolean reasoning for equivalence checking and functional property verification. Yazar: Kuehlmann, A.

CMOS circuit verification with symbolic switch-level timing simulation. Yazar: McDonald, C.B

Entropy-based dual-portal-to-3-DCT registration incorporating pixel correlation. Yazar: Bansal, R.

On object systems and behavioral inheritance. Yazar: Harel, D.

A formal specification and verification framework for Time Warp-based parallel simulation. Yazar: Frey, P.

A Bayesian approach to the verification problem applications to speaker verification. Yazar: Hui Jiang

Rigorous Software Development An Introduction to Program Verification Yazar: Almeida, José Bacelar

Available for University of the Philippines System via SpringerLink. Click here to access

Benefit-cost analysis of with and without certificate of verification requirement for harvesting in private bamboo plantations in the Philippines. Yazar: Daracan, Vivian C.