Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Improving the Verification of Timed Systems using Influence Information

2002
 
Tipo de documento: Objeto de conferencia

Resumen

Parallel composition with observers is a well-known approach to check or test properties over formal models of concurrent and real-time systems. We present a new technique to reduce the size of the resulting model.

Información general

Fecha de exposición: septiembre 2002
Fecha de publicación: 2002
Idioma del documento: Inglés
Evento: Argentine Workshop on Theoretical Computer Science (WAIT 2002) - JAIIO 31 (Santa Fe, 9 al 13 de septiembre de 2002)
Institución de origen: Sociedad Argentina de Informática e Investigación Operativa
ISSN: 1666-1133
Páginas: 87-87

Descargar archivos

Icon
Resumen
Descargar archivo (50.77Kb) - PDF
 
Creado el: 3 de septiembre de 2025
Disponible en SEDICI desde: 3 de septiembre de 2025
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • https://sedici.unlp.edu.ar/handle/10915/183650

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)