Mejor Garantía de calidad y pruebas de software Para Alexandre David

UPPAAL es un entorno integrado de herramientas para el modelado, la validación y verificación de los sistemas de tiempo real modeladas como redes de autómatas cronometrada, extendido con tipos de datos (enteros delimitadas, matrices, etc.).UPPAAL CORA es...