Search results for: Ismael Rodríguez
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 292-306
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 335-350
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > ITM > 322-336
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Process Algebras and State Machines > 97-111
IFIP — The International Federation for Information Processing > From Specification to Embedded Systems Application > 115-124
Lecture Notes in Computer Science > Parallel Problem Solving from Nature – PPSN X > Experimental Analysis > 347-357
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Testing Non-functional Properties > 49-63
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > EPEW > 114-127
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 394-409
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 103-117
Lecture Notes in Computer Science > Bio-Inspired Systems: Computational and Ambient Intelligence > Evolutionary Computation and Genetic Algoritms > 351-358
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 1-16
Lecture Notes in Computer Science > Testing of Communicating Systems > Session I: Testing Theory and Foundations > 39-54
Lecture Notes in Computer Science > Innovative Internet Community Systems > Contributed Papers > 69-80
Lecture Notes in Computer Science > Advances in Computational Intelligence > Applying Evolutionary Computation and Nature-inspired Algorithms to Formal Methods > 356-363
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Process Algebras and State Machines > 63-79
Lecture Notes in Computer Science > Testing of Communicating Systems > Session II: Testing Non-deterministic and Probabilistic Systems > 87-102