Electronic Books

Total Books: 1 - 20 /23

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

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

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...

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

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

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

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

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...

Total Books: 1 - 20 /23