Computable analysis with applications to dynamic systems

Pieter Collins^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

1 results
- Title
- Start date(ascending)

Filter

Verification of Hybrid Systems with Ariadne
Pieter Collins (Speaker)
20 Nov 2020
Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic