External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Validation of Hybrid Systems by Co-simulation

David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski. Validation of Hybrid Systems by Co-simulation. In Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, editors, Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Volume 1066 of Lecture Notes in Computer Science, pages 315-326, Springer, 1995.

Authors

David Sinclair

This author has not been identified. Look up 'David Sinclair' in Google

Eckhardt Holz

This author has not been identified. Look up 'Eckhardt Holz' in Google

Dorota Witaszek

This author has not been identified. Look up 'Dorota Witaszek' in Google

Maciej Wasowski

This author has not been identified. Look up 'Maciej Wasowski' in Google
runs on