contractors
industrial partners
 
Participants
University Complutense of Madrid  
 
TAROT designation : UCM
Address :
Country : Spain
Website : http://www.ucm.es

Contact : Manuel Nez, mn@sip.ucm.es


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