Zentrum/Institut
Instituto Universitario de Estadística y Ciencia de Datos
Kongressbeiträge (3) Publikationen, an denen Forscher/innen teilgenommen haben
1997
-
Introducing friendly testing
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997
-
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)
-
Towards an optimal enclosure for the future large telescope in the ORM
Proceedings of SPIE - The International Society for Optical Engineering