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).