Knowledge Tree

researcher / Jean-Paul Bodeveix

Jean-Paul Bodeveix

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP

Une théorie mécanisée des arbres réguliers en théorie des types dépendants

Real-time systems refinement : application to the verification of web services

Développement et validation d'architectures dynamiques

Spécification et vérification des ordonnanceurs temps réel en B

Spécification et vérification des systèmes temps réel réactifs en B

Combinaison des logiques temporelle et déontique pour la spécification de politiques de sécurité