Publications
Found 1 results
Author Title Type [ Year] Filters: Author is Javier Vales-Alonso [Clear All Filters]
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).