Pedro de la Cámara

	2011
5		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., Verif. Reliab. 21(4): 267-298 (2011)
	2009
4		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán: Checking the reliability of socket based communication software. STTT 11(5): 359-374 (2009)
	2007
3		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262
	2006
2		José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo: An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA 2006: 397-401
1		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200

Coauthor Index

1	José M. Alvarez	[2]
2	J. Raúl Castro	[5]
3	María-del-Mar Gallardo	[1] [3] [4] [5]
4	Jesús Martínez	[2]
5	Pedro Merino	[1] [2] [3] [4] [5]
6	Victoria Morillo	[2]
7	Francisco C. Perez	[2]
8	David Sanán	[4]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page