J. Raúl Castro

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino
Verification support for ARINC-653-based avionics software. Softw. Test. Verification Reliab. 21 (4) (2011)