 |
|
|
|
|
 Using Event-B for Critical Device Software Systems
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... |  |  Acute Pediatric Neurology
This book provides recommendations for evaluation and therapy in the area of acute pediatric neurology; these are presented didactically with frequent use of illustrations and algorithms. Chapters in the first part of the book discuss presenting symptoms of acute neurological conditions. The second part of the book covers major areas of acute... |  |  Statistical Inference on Residual Life (Statistics for Biology and Health)
This is a monograph on the concept of residual life, which is an alternative summary measure of time-to-event data, or survival data. The mean residual life has been used for many years under the name of life expectancy, so it is a natural concept for summarizing survival or reliability data. It is also more interpretable than the popular... |
|
Result Page: 27 26 25 24 23 22 21 20 19 18 |