Facettes
Expression booléenneM. CLAVEL Christophe (ST)
Publications INPT
pfe
vrification formelle : traduction de formules PSL vers verilog
Rédacteur :
Encadrant : M. ALLAKI Said ( Prsident INPT) -M. BENAMEUR Badreddine (INPT) -M. BOUYAHYAOUI Abdelmalek (INPT) -M. CHAMI Mouhcine (INPT) -M. CLAVEL Christophe (ST) -Mme EL GAF Ilham (ST) -M. MOKKEDEM Abdelillah (ST)
Année : 2007
Lieu de stage : ST