Publications

Found 2 results
Author Title Type [ Year(Asc)]
Filters: Author is Jose M. Pousada-Carballo  [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.