dblp.uni-trier.dewww.uni-trier.de

José Ramón de Diego

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
4 Claudio de la Riva, Javier Tuya, José Ramón de Diego: Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. JISBD 2003: 35-46
2001
3 Claudio de la Riva, Javier Tuya, José Ramón de Diego: Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. JISBD 2001: 391-404
2000
2 Claudio de la Riva, Javier Tuya, José Ramón de Diego: Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD 2000: 53-58
1999
1EEClaudio de la Riva, Javier Tuya, José Ramón de Diego: Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. Ershov Memorial Conference 1999: 493-502

Coauthor Index

1Claudio de la Riva [1] [2] [3] [4]
2Javier Tuya [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)