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.