Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Swen Jacobs

Mots clés

FR |

EN

Automates temporisés paramétrés

Automates temporisés

Cybersécurité

Méthodes formelles

Systèmes informatiques -- Mesures de sûreté

Méthodes formelles (informatique)

Incertitude (théorie de l'information)

Vérification de modèles (informatique)