Instructions Actes LM16 CDROM - Hal
C ANDRÉ, H BOUFAIED : "Vérification de comportement de machine ..... je garde
une part importante d'enseignement fondamental : machine à états, algèbre de
...... avec les méthodes et outils de modélisation, de programmation et de test. ....
Pour information : documentation sommaire de fsm (format pdf) (format html pour
...