Publications

Found 3 results
Author Title Type [ Year(Asc)]
Filters: Author is Martín Llamas-Nistal  [Clear All Filters]
2002
Fernández-Iglesias, M. J., González-Castaño F. J., Llamas-Nistal M., Pousada-Carballo J. M., & Vales-Alonso J. (2002).  On the Application of Formal Description Techniques to the Design of Interception Systems for GSM Mobile Terminals. Journal of Systems and Software. 60(1), 49-56.
2001
Fernández-Iglesias, M. J., González-Castaño F. J., Pousada-Carballo J. M., Llamas-Nistal M., & Romero A.. (2001).  From Complex Specifications to a Working Prototype: A Protocol Engineering Case Study. 2021, 436-448.
2000
Fernández-Iglesias, M. J., Pavón-Marino P., Rodríguez J.., Rifon L. Anido, & Llamas-Nistal M. (2000).  DelfosnetX: A Workbench for XML-Based Information Retrieval Systems. Proceedings of the 7th International Symposium on String Processing and Information Retrieval. 87-95.