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/1931/12/22

    Funding

    • Israel Science Foundation