ListarGrupo de Investigación en Compiladores e Linguaxes. COLE por tema "Sistemas reactivos"
Mostrando ítems 1-1 de 1
-
Verificación de conexiones telefónicas con esterel
(1995)[Resumen] El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono Esterel. Nuestra intención ...