Reliable Software Technologies - Ada-Europe 2002
Download or Read eBook Reliable Software Technologies - Ada-Europe 2002 PDF written by Johann Blieberger and published by Springer. This book was released on 2003-08-02 with total page 381 pages. Available in PDF, EPUB and Kindle.
| Author | : Johann Blieberger |
| Publisher | : Springer |
| Total Pages | : 381 |
| Release | : 2003-08-02 |
| ISBN-10 | : 9783540480464 |
| ISBN-13 | : 3540480463 |
| Rating | : 4/5 (64 Downloads) |
Book Synopsis Reliable Software Technologies - Ada-Europe 2002 by : Johann Blieberger
Book excerpt: This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
