- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger: AADL Execution Semantics Transformation for Formal Verification. ICECCS 2008: 263-268 |
| 1 | Thomas Abdoul | [1] |
| 2 | Joël Champeau | [1] |
| 3 | Philippe Dhaussy | [1] |
| 4 | Pierre Yves Pillain | [1] |