Behavioral Composition of Reactive Hybrid Systems

Project Details

StatusFinished
Effective start/end date1/01/1931/12/22

Funding

  • Israel Science Foundation