Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Wojciech Penczek

Mots clés

FR |

EN

Synthèse de paramètres

Vérification distribuée

Vérification paramétrée

Comportements Zeno

Vérification de modèles (informatique)

Temps réel (informatique)

Automates temporisés

Exploration de données

Algorithmes parallèles