Publikationen, an denen er mitarbeitet MANUEL NÚÑEZ GARCÍA (9)

2022

  1. Using Ant Colony Optimisation to Select Features Having Associated Costs

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

2017

  1. A formal framework to specify and test systems with fuzzy-time information

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

2009

  1. Testing semantics for RTPA

    Fundamenta Informaticae, Vol. 90, Núm. 3, pp. 305-335

2008

  1. A hierarchy of equivalences for probabilistic processes

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

2006

  1. Customized testing for probabilistic systems

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

  2. Derivation of a suitable finite test suite for customized probabilistic systems

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

1998

  1. An invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6

  2. Invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6, pp. 531-545

1997

  1. Introducing friendly testing

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