Mostrar o rexistro simple do ítem
Verificación de conexiones telefónicas con esterel
| dc.contributor.author | Graña Gil, Jorge | |
| dc.contributor.author | Vilares Ferro, Manuel | |
| dc.contributor.author | Bernhard, R. | |
| dc.date.accessioned | 2005-11-21T13:23:02Z | |
| dc.date.available | 2005-11-21T13:23:02Z | |
| dc.date.issued | 1995 | |
| dc.identifier.citation | Troya Linero, J.; Rodríguez León, C. (eds.), Actas de las I Jornadas de Informática de la Asociación Española de Informática y Automática (AEIA-1995), Puerto de la Cruz (Spain), pp. 707-708. | es_ES |
| dc.identifier.uri | http://hdl.handle.net/2183/157 | |
| dc.description.abstract | [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 es mostrar la modularidad de la aplicación y la flexibilidad del proceso de verificación. Idéntica atención merecen los mecanismos de control que gestionan la sincronización de procesos concurrentes. El objetivo es detectar los fenómenos de abrazo mortal e interbloqueo en tiempo de compilación, una característica no disponible en todos los lenguajes de programación. | es_ES |
| dc.description.sponsorship | Xunta de Galicia; XUGA10501A93 | es_ES |
| dc.format.mimetype | application/postscript | |
| dc.format.mimetype | text/plain | |
| dc.language.iso | spa | es_ES |
| dc.subject | Programación síncrona | es_ES |
| dc.subject | Sistemas reactivos | es_ES |
| dc.subject | Verificación de autómatas | es_ES |
| dc.title | Verificación de conexiones telefónicas con esterel | es_ES |
| dc.type | info:eu-repo/semantics/article | es_ES |
| dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
