Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas
Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas
Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Lee mas
Composition of Embedded Systems. Scientific and Industrial Issues
This book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lee mas
Composition of Embedded Systems. Scientific and Industrial Issues
This book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lee mas
Computer Safety, Reliability, and Security (vol. # 3688)
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Lee mas
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Lee mas
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lee mas
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Lee mas
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lee mas
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 ...
Lee mas
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Lee mas
Global Computing
This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...
Lee mas
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee mas
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lee mas
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee mas
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee mas
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lee mas
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lee mas
