Publications
Found 3 results
[ Author] Title Type Year Filters: Author is Manuel J. Fernández-Iglesias [Clear All Filters]
From Complex Specifications to a Working Prototype: A Protocol Engineering Case Study.
2021, 436-448.
(2001). 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.
(2002). DelfosnetX: A Workbench for XML-Based Information Retrieval Systems.
Proceedings of the 7th International Symposium on String Processing and Information Retrieval. 87-95.
(2000).