INFO 0060-1 Vérification de systèmes parallèles et logique temporelle - P. Wolper, P. Gribomont

Informations générales

• Informations figurant dans le programme des cours

• Horaire: à fixer

• Local: à fixer

• Examen : oral

• Transparents

• Travaux pratiques 2005-2006: programmes à modéliser et à vérifier avec l'outil SPIN