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

Formal Methods and Models for System Design - 9781441954640

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

Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh (Eng

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

THE ENGINEERING DESIGN OF SYSTEMS: MODELS AND METHODS BY William D. Miller

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

Agent Technology from a Formal Perspective by Christopher Rouff (English) Paperb