Found 139 results
PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
.
2007. .
2007. .
2007. An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
.
2007. A Survey on mobile peer-to-peer technology. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :59–68.
.
2007. .
2007. Abstract Matching for Software Model Checking. Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings. :182–200.
.
2006. C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C. Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on(...) MSVVEIS, 2006, Paphos, Cyprus, May.
.
2006. On the Evolution of reliability methods for critical software. Journal of Integrated Design and Process Science. 10:55–67.
.
2006. On the Evolution of Reliability Methods for Critical Software. A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006. 1:53–65.
.
2006. Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Distributed Systems Online. 7
.
2006. Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Pervasive Computing. 5:57–59.
.
2006. Performance monitoring and analysis of wireless communication protocols for mobile devices. Proceedings of the I International Conference on Ubiquitous Computing, 2006. :103–108.
.
2006. PIXL: applying XML standards to support the integration of analysis tools for protocols. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May. :57–66.
.
2006.