Using Event-B for Critical Device Software Systems - Singh, Neeraj Kumar
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre272,51 €
Produit Neuf
Ou 68,13 € /mois
- Livraison : 25,00 €
- Livré entre le 10 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Using Event - B For Critical Device Software Systems de Singh, Neeraj Kumar Format Broché - Livre Informatique
0 avis sur Using Event - B For Critical Device Software Systems de Singh, Neeraj Kumar Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Gilbert Portanier
Neuf dès 141,34 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,14 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Cowboy Kate And Other Stories
Occasion dès 161,55 €
-
Instruction Particuliere Et Secrete A Mon Fils: Oeuvres Spirituelles Classiques
Occasion dès 323,40 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
Cryogenic Heat Transfer
Neuf dès 215,99 €
-
Illustrated Dermatology
Neuf dès 155,93 €
-
Genre In Archaic And Classical Greek Poetry: Theories And Models
Neuf dès 260,77 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
Dépression Et Anxiété : Comprendre Et Surmonter Par L'approche Cognitive
Occasion dès 163,95 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
Calvin Klein
Neuf dès 146,24 €
-
Verlinde: Paintings And Drawings
Occasion dès 149,99 €
-
Jock Sturges
Occasion dès 215,18 €
Produits similaires
Présentation Using Event - B For Critical Device Software Systems de Singh, Neeraj Kumar Format Broché
- Livre Informatique
Résumé :
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.
Biographie:
Sommaire: Preface.- Introduction.- Background.- The Modelling Framework: Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- EB2ALL: An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac Pacemaker.- Electrocardiogram (ECG).- Conclusion.- Appendix A: Certification Standards.- Index.
Détails de conformité du produit
Personne responsable dans l'UE