industrial partners
University Complutense of Madrid  
TAROT designation : UCM
Address :
Country : Spain
Website :

Contact : Manuel Nez,

Significant recent publications :
  • J.A Arnedo, A. Cavalli and M. Nez, Fast Testing of Critical Properties through Passive Testing. TESTCOM 2003, 16 pages, Lecture Notes in Computer Science, Springer, 2003.

  • M. Nez, Algebraic Theory of Probabilistic Processes. Journal of Logic and Algebraic Programming, 61 pages, Elsevier, 2003.

  • Accueil Plan du site Contact Plan d'accès Rechercher Mentions légales