BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
An introduction to the verification of hybrid systems using ARIADNE | 2015 | BRESOLIN, DAVIDE + | - | - | Coordination Control of Distributed Systems |
Formal verification applied to robotic surgery | 2015 | BRESOLIN, DAVIDE + | LECTURE NOTES IN CONTROL AND INFORMATION SCIENCE | - | Coordination Control of Distributed Systems |