| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger: AADL Execution Semantics Transformation for Formal Verification. ICECCS 2008: 263-268 |
Selection of 1 from 8 records - Philippe Dhaussy has 22 coauthors
Copyright © 2010-01-02 by Michael Ley (ley@uni-trier.de)