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

  • Authors:
  • Jan-Erik Strömberg;Simin Nadjm-Tehrani;Jan L. Top

  • Affiliations:
  • -;-;-

  • Venue:
  • Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract