Langues :

Rechercher dans cette liste :

1237 thèses pour "Model checking"

Model checking and theorem proving

Acceleration for statistical model checking

Model checking et vérification probabiliste

Model checking self modifying code

Parallélisation du Bounded Model Checking

par Anissa Kheireddine sous la direction de Souheib Baarir - Sorbonne université

Parallel model checking for multiprocessor architecture

Rare event simulation for statistical model checking

On model-checking pushdown systems models

Malware (virus) detection using model checking

par Ugochukwu Onwudebelu sous la direction de Tayssir Touili - Paris 13

Quasi optimal model checking for concurrent systems

Résultats 1 à 10

Trier par :

Page :

1 2 3 4 5 6 7 8 9 10

Etablissements :

Disciplines :

Ecoles Doctorales :

Langues :

Directeurs de thèse :

Domaines :

1237 thèses pour "Model checking"