Publicaciones en las que colabora con MANUEL ISIDORO CAPEL TUÑÓN (4)

2003

  1. FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

    Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia

2001

  1. Automata generation for on-the-fly automatic verification using formulas of an interval logic

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD

  2. Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)

1997

  1. Implementación de una herramienta de especificación y validación para sistemas reactivos

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]