Search results for: Cesar Viho
IEEE Transactions on Vehicular Technology > 2017 > 66 > 2 > 1533 - 1546
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 234-250
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > SHORT PAPERS > 533-537
Lecture Notes in Computer Science > SDL 2005: Model Driven > Applications and Tools (Short Papers) > 198-209
Lecture Notes in Computer Science > Managing Virtualization of Networks and Services > Session 6: Short Papers > 187-190
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Frameworks for System Construction and Analysis > 315-329
Wireless Networks > 2016 > 22 > 7 > 2387-2402
2014 IEEE Global Communications Conference > 181 - 186