Thèse soutenue

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés

FR  |  
EN
Auteur / Autrice : Arnaud Lanoix
Direction : Olga Kouchnarenko
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2005
Etablissement(s) : Besançon
Partenaire(s) de recherche : autre partenaire : Université de Franche-Comté. UFR des sciences et techniques

Mots clés

FR

Mots clés contrôlés