
Proof and System-Reliability
NATO Advanced Study Institute on Proof and System-Reliability (2001 Marktoberdorf, Germany)
₹3,926

7th Ada-Europe International Conference on Reliable Software
by Johann Blieberger, Alfred Strohmeier
Springer · 2002 · Paperback
Refereed proceedings of the 7th Ada-Europe conference on reliable software technologies, held in Vienna in June 2002, with 24 revised papers and four invited ones.
Free delivery. Nothing extra to pay at checkout.
Held in Vienna in June 2002, this volume reports the 7th meeting of the Ada-Europe series on reliable software technologies. It holds 24 revised full papers, all refereed and chosen from submissions, plus four invited ones.
The contributions are grouped into sections on embedded software, case studies from practice, timing-critical systems, dependable high-integrity work and the Ada language itself. The collection suits researchers and engineers who follow reliable software development.
Published by Springer. ISBN-13: 9783540437840.