Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

García Merayo, Mercedes and Hwang, Iksoon and Nuñez García, Manuel and Cavalli, Ana (2009) A Statistical Approach to Test Stochastic and Probabilistic Systems. Formal methods and software engineering proceedings, 5885 . pp. 186-205. ISSN 0302-9743

García Merayo, Mercedes and Andrés Sánchez, César and Maag, Stéphane and Cavalli, Ana and Nuñez García, Manuel (2009) Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference . 152-159 . ISSN 1530-1362

This list was generated on Sun Apr 20 02:24:15 2014 CEST.