Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- G. Decuq, E. Encrenaz : “Extension des diagrammes de décisions binaires pour la représentation de programmes VHDL en vue de leur vérification”, [Decuq 2000]