Real-Time Safety Critical Systems

In the 1990s, society has become increasingly dependent on computer systems for its products, its design and manufacturing processes and its routine business fu...nctions.Pressure in now rising to ensure that technical progress leading to improved dependability of computers is matched by legal safeguards and subsequent accountability. The importance of research in this area has recently been recognized by governments and leading industries alike.This newly launched book series aims to provide a forum for researchers and developers in Europe, USA and Japan to report their findings. View full descriptionHide full description

Latest volumes

3. HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems
By A. Burns, A. Wellings
Hardbound, 330 pages
Published: April 1995
ISBN 13: 978-0-444-82164-5

2. Towards Verified Systems
Edited By J. Bowen
Published: September 1994
ISBN 13: 978-0-444-89901-9

Other volumes