Méthodes probabilistes pour la vérification des systèmes distribués

... Bs ? 2?s la plus petite algèbre de sous ensemble de. ?s qui contient tous les cylindres de bases : {? ? ?s|X0 = s0 = s ? Y0 = a0 ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A