Name: Using Event-B for Critical Device Software Systems
Price: 2054.00 TWD
Availability: InStock
Author: Glover, Keith
ISBN: 9781981128860

Select your country

Americas

Europe

Rest of the world

portada Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Type

Physical Book

Author

Keith Glover

Publisher

Createspace

Language

English

Pages

334

Format

Paperback

Dimensions

28.0 x 21.6 x 1.8 cm

Weight

0.78 kg.

ISBN13

9781981128860

Synopsis "Using Event-B for Critical Device Software Systems"

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.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.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 book adopts a rigorous safety assessment approach explored via several layers.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Using Event-B for Critical Device Software Systems - Glover, Keith

Synopsis "Using Event-B for Critical Device Software Systems"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery