Publicacións en colaboración con investigadores/as de Universidad de Castilla-La Mancha (3)

2011

  1. Passive testing of web services

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

2010

  1. Formal passive testing of service-oriented systems

    Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010

  2. Formal study of prioritized service compositions

    Proceedings - 5th International Conference on Signal Image Technology and Internet Based Systems, SITIS 2009