Symbolic and Numerical Methods for Reachability Analysis (SNR), International Workshop on
| Formato: | Electrónico Libro |
|---|---|
| Idioma: | English |
| Publicado: |
IEEE
|
| Subjects: | |
| Acceso en liña: | Full text available on IEEE [2017-2023] Off-campus access |
| Classic Catalogue: | View this record in Classic Catalogue |
Títulos similares
- 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
-
Reachability Problems
Publicado: (2013) -
Being Available and Reachable
por: Tazanu - Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD), International Workshop on
- Proceedings of the 2007 international workshop on Symbolic-numeric computation