Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Using Interface Refinement to Integrate Formal Verification into the Design Cycle -- Indexed Predicate...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... concentration control system -- Switched bond graphs as front-end to formal verification of hybrid systems...”