Skip to main navigation Skip to search Skip to main content

Behavioral Composition of Reactive Hybrid Systems

    Project Details

    StatusFinished
    Effective start/end date1/01/19 → 31/12/22

    Funding

    • Israel Science Foundation