d/dt is a prototype tool for reachability analysis of continuous and hybrid systems
d/dt
- Software distribution and licensing: Privately distributed in a contractual setting
- Software maturity: Basic usage works, terse documentation.
- Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans
Voir en ligne : d/dt Web Page
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32180856
|
|
|