Techniques modulo pour les bisimulations
Cette deuxième édition présente la boîte à outils la plus moderne des ... Hermes
Science Publications, Lavoisier .... de commandes cycliques par les réseaux de
Petri. ... Au lieu de faire un livre sup- .... méthode générique de modélisation des
capteurs dont l'un des inté- ..... Cours et exercices de probabilités appliquées.
Un extrait du document