- 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 | Joël Champeau | [1] |
| 2 | Philippe Dhaussy | [1] |
| 3 | Pierre Yves Pillain | [1] |
| 4 | Jean-Charles Roger | [1] |