By the same authors

Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings

Research output: Book/ReportBook

Author(s)

Department/unit(s)

Publication details

DatePublished - 2005
Number of pages273
PublisherSPRINGER-VERLAG BERLIN
Original languageUndefined/Unknown
ISBN (Print)978-3-540-26286-2

Abstract

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005.

The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations