< back to main site

Publications

Producing critical systems: the Ada 9X solution.

Wichmann, B (1994) Producing critical systems: the Ada 9X solution. In: Redmill, F, and Anderson, T, eds. Technology and assessment of safety-critical systems. Springer-Verlag.

Full text not available from this repository.

Abstract

No abstract available

Item Type: Book Chapter/Section
Subjects: Mathematics and Scientific Computing
Mathematics and Scientific Computing > Software Engineering
Publisher: Springer-Verlag
Last Modified: 02 Feb 2018 13:19
URI: http://eprintspublications.npl.co.uk/id/eprint/210

Actions (login required)

View Item View Item