Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Problème d'accessibilité pour des protocoles asynchrones.
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Problème d'accessibilité pour des protocoles asynchrones.

Problème d'accessibilité pour des protocoles asynchrones.

Arnaud Bombeck - Collection Omn.univ.europ.

96 pages, parution le 01/05/2019

Résumé

L'informatique théorique est un domaine assez vaste, nous nous focaliserons sur la vérification d'une propriété appelée model-checking. Le model-checking est une technique de vérification de systèmes à états finis ou infinis tels que les protocoles de communication. Il y a un certain nombre d'avantages par rapport aux approches traditionnelles basées sur la simulation, le test et le raisonnement déductif. En particulier, la vérification de modèle est automatique et généralement assez rapide. Le modelchecking est une méthode de validation des systèmes informatiques qui consiste à vérifier automatiquement si un modèle S d'un système satisfait une propriété A. Nous allons nous intéresser à la décidabilité du problème d'accessibilité. Le problème d'accessibilité demande de vérifier si un ensemble d'éléments du système est atteint. Nous utilisons le model-checking dans des situations concrètes comme la télécommunication, le wifi, le gsm, etc. Il peut arriver que les programmes ne soient pas fiables, nous pouvons avoir des problèmes de communication comme des pertes de message. Nous allons nous intéresser aux systèmes de communication à pertes de messages.

Caractéristiques techniques

  PAPIER
Éditeur(s) Editions universitaires européennes
Auteur(s) Arnaud Bombeck
Collection Omn.univ.europ.
Parution 01/05/2019
Nb. de pages 96
Format 15.2 x 22.9
Couverture Broché
Poids 154g
EAN13 9783841729842

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription