Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
L'exigence d'avoir des systčmes concurrents fiables impose ŕ tout concepteur (de tels systčmes) d'adopter une démarche rigoureuse de la premičre étape de conception jusqu'ŕ sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systčmes concurrents et répartis. Ainsi ces aspects ont nécessité l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associé ŕ savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de maničre théorique. Les applications ont été étendues aux systčmes repartis et plus particuličrement les algorithmes d'élection. De plus, un intéręt a été porté ŕ l'aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d'authentification.