Identifiant pérenne de la notice : 18325581X
Notice de type
Personne
Compilation efficace de spécifications de contrôle embarqué avec prise en compte de
propriétés fonctionnelles et non-fonctionnelles complexes / Thomas Carle ; sous la
direction de Dumitru Potop-Butucaru. Thèse de doctorat : Informatique: Paris 6 : 2014