Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- H. Aboushady : “La décimation des convertisseurs Sigma-Delta”, [Aboushady 1997]
- F. Rahim, E. Encrenaz : “Property-dependant bisimulation for compositional model-checking”, [Rahim 1997]