Publicacións nas que colabora con JUAN CARLOS BURGUILLO RIAL (10)

2005

  1. Wireless protocol testing and validation supported by formal methods. A hands-on report

    Journal of Systems and Software, Vol. 75, Núm. 1-2, pp. 139-154

2004

  1. Applying ICT for educational purposes in the environmental sciences domain

    Proceedings - 2004 International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA 2004

2002

  1. Heuristic-driven techniques for test case selection

    Electronic Notes in Theoretical Computer Science

  2. Heuristic-driven test case selection from formal specifications. A case study

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2000

  1. An authoring environment for the SimulNet educational platform

    Computers and education in the 21st century (Kluwer Academic Publishers), pp. 65-78

  2. Prueba de sistemas distribuidos mediante estrategias de caja gris

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

1999

  1. Improving computer support for cooperative applications over internet

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Un sistema telemático para la distribución supervisada de software a través de Internet

    SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas

1998

  1. Un modelo transformacional para el razonamiento sobre tipos abstractos de datos

    VI Jornadas de Concurrencia

1997

  1. Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997