Electronic Books

Total Books: 1 - 12 /12
Ada 2005 Rationale : The Language, The Standard Libraries

The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...

Weiterlesen
Computer Safety, Reliability, and Security (vol. # 3688)

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...

Weiterlesen
Computer Safety, Reliability, and Security (vol. # 4166)

The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...

Weiterlesen
Constituents of Modern System-safety Thinking

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...

Weiterlesen
Dependable Computing

This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...

Weiterlesen
Dependable Computing

This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...

Weiterlesen
Dependable Computing - EDCC 2005

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...

Weiterlesen
Developments in Risk-based Approaches to Safety

The papers included in this volume address the most critical topics in the field of safety-critical systems. The focus this ...

Weiterlesen
Improvements in System Safety

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...

Weiterlesen
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...

Weiterlesen
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering

The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, ...

Weiterlesen
The Safety of Systems

The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...

Weiterlesen
Total Books: 1 - 12 /12