Formal Methods and Models for System Design - 9781441954640

Littell - SAS for Linear Models Design Methods and Techniques - New p - X555z

Soeken - Formal Specification Level Concepts Methods and Algorithm - X555z

Kundu - High-Level Verification Methods and Tools for Verification o - X555z

Soeken - Formal Specification Level Concepts Methods and Algorithm - X555z

Kundu - High-Level Verification Methods and Tools for Verification o - X555z

High-level Verification : Methods and Tools for Verification of System-level ...

Gupta - Model and Design of Improved Current Mode Logic Gates Differ - X555z