thesis
Verification de proprietes logiques des protocoles et systemes repartis par observation de simulations
Institution:
Rennes 1Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Proposition des moyens d'evaluer des proprietes en cours de simulation par une instrumentation appropriee, appelee observation