Aportaciones congreso (3) Publicaciones en las que ha participado algún/a investigador/a

1997

  1. Introducing friendly testing

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

  2. Testing semantics for a probabilistic-timed process algebra

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

  3. Towards an optimal enclosure for the future large telescope in the ORM

    Proceedings of SPIE - The International Society for Optical Engineering