ListarGrupo de Investigación en Compiladores e Linguaxes. COLE por tema "Automata verification"
Mostrando ítems 1-1 de 1
-
Communication protocols verification with Esterel
(Computational Mechanics Publications, 1995)[Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description ...