MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Universidad de Castilla-La Mancha
Ciudad Real, EspañaUniversidad de Castilla-La Mancha-ko ikertzaileekin lankidetzan egindako argitalpenak (11)
2015
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
2011
-
Passive testing of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Formal passive testing of service-oriented systems
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010
-
Specification and testing of e-commerce agents described by using UIOLTSs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
A novel formalism to represent collective intelligence in multi-agent systems
Studies in Computational Intelligence
2008
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal specification of the memorization process
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170
2007
-
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60
2005
-
A formal methodology to test complex embedded systems: Application to interactive driving system
IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing
2004
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)