Publikationen, an denen er mitarbeitet MANUEL ISIDORO CAPEL TUÑÓN (4)

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]