Found 4 results
Filters: Author is Pedro de la Cámara [Clear All Filters]
Abstract Matching for Software Model Checking. Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings. :182–200.. 2006.
Model extraction for ARINC 653 based avionics software. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns. :243–262.. 2007.
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.. 2007.
Verification support for arinc-653-based avionics software (to appear). Software Testing Verification & Reliability.. 2010.