Switched bond graphs as front-end to formal verification of hybrid systems

J.E. Stromberg, S. Nadjim-Tehrani, J.L. Top

Research output: Book/Report › Book › Academic

10 Citations (Scopus)

Original language	English
Publisher	Springer
Publication status	Published - 1996

Publication series

Name	Lecture Notes in Computer Science

Cite this