| |
| 2007 | ||
|---|---|---|
| 2 | EE | 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 | ||
| 1 | EE | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200 |
| 1 | María-del-Mar Gallardo | [1] [2] |
| 2 | Pedro Merino | [1] [2] |