Articles liés à Using Event-B for Critical Device Software Systems
- ÉditeurSpringer London Ltd
- Date d'édition2013
- ISBN 10 144715259X
- ISBN 13 9781447152590
- ReliureRelié
- Langueanglais
- Nombre de pages326
Acheter neuf
Afficher cet article
EUR 106,35
EUR 3,52 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Using Event-B for Critical Device Software Systems
Image d'archives
Using Event-B for Critical Device Software Systems.
Edité par
London, Springer London., 2013
ISBN 10 : 144715259X
ISBN 13 : 9781447152590
Ancien ou d'occasion
Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
2013. 16 x 24 cm. XVIII, 326 S. XVIII, 326 p. Hardcover. Sprache: Englisch. N° de réf. du vendeur 72VB
Quantité disponible : 1 disponible(s)
Image d'archives
Using Event-B for Critical Device Software Systems
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530317153
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Using Event-B for Critical Device Software Systems
Edité par
Springer London Jul 2013, 2013
ISBN 10 : 144715259X
ISBN 13 : 9781447152590
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 344 pp. Englisch. N° de réf. du vendeur 9781447152590
Quantité disponible : 2 disponible(s)
Image d'archives
Using Event-B for Critical Device Software Systems
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781447152590_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Using Event-B for Critical Device Software Systems
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents an innovative development approach for critical systems and prototype implementationDiscusses the automization of critical system development, from requirements analysis to code generationProvides a novel approach for medical proto. N° de réf. du vendeur 4185201
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Using Event-B for Critical Device Software Systems
Edité par
Springer London, Springer London, 2013
ISBN 10 : 144715259X
ISBN 13 : 9781447152590
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9781447152590
Quantité disponible : 1 disponible(s)
Image d'archives
Using Event-B for Critical Device Software Systems
Edité par
Springer London Ltd, 2013
ISBN 10 : 144715259X
ISBN 13 : 9781447152590
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643. N° de réf. du vendeur C9781447152590
Quantité disponible : Plus de 20 disponibles