5303531
9783540346630
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada-Europe 2006, held in Porto, Portugal, in June 2006. The 19 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on real-time systems, static analysis, verification, applications, reliability, compilers, and distributed systems.Pinho, Luís Miguel is the author of 'Reliable Software Technologies -- Ada-europe 2006 11th Ada-europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings', published 2006 under ISBN 9783540346630 and ISBN 3540346635.
[read more]