Uppaal
Un entorno de herramientas integrado para modelar, validación y verificación de sistemas en tiempo real ...
6.7 MB
Un entorno de herramientas integrado para modelar, validación y verificación de sistemas en tiempo real ...
6.7 MB
Harmonium 3D es una actualización digital de la Tecnología del Salón Victoriano del Harmonium. ...
3.9 MB
ORSA permite simular con precisión la dinámica de una nave espacial que orbita el asteroides Vesta ...
20.3 MB
Sobre nosotros