Gupta - Formal Methods and Models for System Design A System Level P - X555z

Formal Methods and Models for System Design - 9781441954640

CMOS VLSI Design: A Circuits and Systems Perspective by Neil Weste

High-Level Verification: Methods and Tools for Verification of System-Level Desi

Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken

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

Formal Methods Applied to Complex Systems: Implementation of the B Method by Jea