Reliable Software Technologies - Ada-Europe 2002
Author : Johann Blieberger
Publisher : Springer Science & Business Media
Total Pages : 381
Release : 2002-06-05
ISBN 10 : 9783540437840
ISBN 13 : 3540437843
Language : EN, FR, DE, ES & NL

Reliable Software Technologies - Ada-Europe 2002 Book Description:

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.


Reliable Software Technologies - Ada-Europe 2002
Language: en
Pages: 381
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2002-06-05 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria,
Reliable Software Technologies - Ada-Europe 2002
Language: en
Pages: 370
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria,
Reliable Software Technologies -- Ada-Europe 2003
Language: en
Pages: 442
Authors: Jean-Pierre Rosen
Categories: Business & Economics
Type: BOOK - Published: 2003-06-02 - Publisher: Springer Science & Business Media

The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 r
Reliable Software Technology – Ada-Europe 2005
Language: en
Pages: 276
Authors: Tullio Vardanega
Categories: Computers
Type: BOOK - Published: 2005-06-07 - Publisher: Springer

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 con
Reliable Software Technologies - Ada-Europe 2004
Language: en
Pages: 331
Authors: Albert Llamosi
Categories: Computers
Type: BOOK - Published: 2004-04-22 - Publisher: Springer

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-
Reliable Software Technologies - Ada-Europe 2008
Language: en
Pages: 294
Authors: Fabrice Kordon
Categories: Business & Economics
Type: BOOK - Published: 2008-06-03 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, i
Reliable Software Technologies – Ada-Europe 2018
Language: en
Pages: 175
Authors: António Casimiro
Categories: Computers
Type: BOOK - Published: 2018-06-11 - Publisher: Springer

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug
Reliable Software Technologies – Ada-Europe 2016
Language: en
Pages: 213
Authors: Marko Bertogna
Categories: Computers
Type: BOOK - Published: 2016-05-30 - Publisher: Springer

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa,
Reliable Software Technologies – Ada-Europe 2017
Language: en
Pages: 251
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2017-05-27 - Publisher: Springer

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn
Reliable Software Technologies - Ada-Europe 2007
Language: en
Pages: 247
Authors: Nabil Abdennahder
Categories: Computers
Type: BOOK - Published: 2007-06-30 - Publisher: Springer

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software tec