Validation of hybrid systems by co-simulation

• Authors:

• D. Sinclair;E. Holz;D. Witaszek;M. Wasowski

• Affiliations:

• -;-;-;-

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