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