Long Term Research Reactive Scehme
(Task 4.2)
Esprit Project 26270
Verification of Hybrid Systems
VHS
Project Description
  • Summary
  • Project Objectives and Scope
  • Work plan
  • Project Management
  • Take-up of Results
  • Reports, Deliverables, and Reviews
  • Obligations & Rights of Participants
  • Appendix: The Proposers
  • Footnotes