Author Info
Name
Affiliation
Papers
PEDRO DE LA CÁMARA
University of Málaga, Málaga, Spain
5
Collaborators
Citations 
PageRank 
9
32
2.72
Referers 
Referees 
References 
64
79
56
Title
Citations
PageRank
Year
Verification support for ARINC-653-based avionics software80.742011
Checking the reliability of socket based communication software20.372009
Model extraction for ARINC 653 based avionics software100.602007
Abstract matching for software model checking110.612006
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing10.402006