Hubertus B Keller Book

Language: en
Pages: 316

Reliable Software Technologies Ada-Europe 2000

Author(s): Hubertus B. Keller, Erhard Plödereder

Categories: Computers

Type: Book
-
Published: 2006-12-30
-
Publisher: Springer

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.

Language: en
Pages: 324

Reliable Software Technologies ADA-Europe 2000

Author(s): Hubertus B. Keller, Erhard Plodereder

Type: Book
-
Published: 2014-09-01
-
Publisher: Unknown

None

Language: en
Pages: 330

Reliable Software Technologies Ada-Europe 2000

Author(s): Hubertus B. Keller, Erhard Plödereder

Categories: Computers

Type: Book
-
Published: 2000-06-14
-
Publisher: Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

Language: en
Pages: 187

Reliable Software Technologies -- Ada-Europe 2013

Author(s): Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk

Categories: Computers

Type: Book
-
Published: 2013-05-27
-
Publisher: Springer

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.