Examens corriges

Terminaison en temps moyen fini de systèmes de règles probabilistes

Le logiciel APMC, en utilisant des méthodes de Monte ... mécanisme de contrôle de l'application des r`egles de réécriture probabilistes.



Télécharger