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 ...
اقرأ المزيد
Computer Safety, Reliability, and Security (vol. # 3688)
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
اقرأ المزيد
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 ...
اقرأ المزيد
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
اقرأ المزيد
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Improvements in System Safety
Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...
اقرأ المزيد
The Safety of Systems
The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
اقرأ المزيد
