
Theoretical Computer Science Lab - UMONS
Le service est spécialisé dans la vérification et la synthèse assistée par ordinateur : théorie des jeux et ses applications à la vérification et synthèse automatisée des systèmes informatiques , vérification et contrôle des automates temporisés et des systèmes hybrides.