Identifiant pérenne de la notice:192423916
Notice de type
Personne
Multi-level modeling for verification and synthesis of complex systems in a multi-physics
context. / Daniel Chaves Café; sous la direction de Frédéric Boulanger. Thèse de
doctorat: Informatique (STIC): Supélec: 2015