Cover Image
Read Now

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