%O BookSection 
%F I2C-constant-jeron-marchand-rusu-06
%A Constant, C.
%A Jéron, T.
%A Marchand, H.
%A Rusu, V.
%T Combinaison entre vérification et test pour la validation de systèmes réactifs
%B Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils
%V 1

%P 59-88
%I Hermès Science
%D 2006