%0 Conference Proceedings
%T Systèmes Informatiques de Confince, Objectifs Zéro-Défaut
%+ Laboratoire Informatique, Image et Interaction - EA 2118 (L3I)
%+ Développement des Technologies Nouvelles (DTN)
%+ Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN)
%A Prigent, Armelle
%A Dhaussy, Philippe
%A Olivier, Roux
%< avec comité de lecture
%( Génération de Séquences Test Temporisés
%B Systèmes Informatiques de Confince, Objectifs Zéro-Défaut
%C France
%P /
%8 2002
%D 2002
%Z Computer Science [cs]/Computer Aided EngineeringConference papers
%G French
%L hal-00540746
%U https://hal.science/hal-00540746
%~ UNIV-NANTES
%~ ENSTA-BRETAGNE
%~ CNRS
%~ EC-NANTES
%~ IRCCYN
%~ IRCCYN-MOVES
%~ ENSTA-BRETAGNE-STIC
%~ ENSIETA-DTN
%~ IRCCYN-MEFORBIO
%~ UNAM
%~ UNIV-ROCHELLE
%~ NANTES-UNIVERSITE
%~ UNIV-NANTES-AV2022
%~ NU-CENTRALE