Work

Tool support for high integrity Ada software

Year: 1994

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-58822-1_89

Authors: A. D. Hutcheon, D. T. Jordan, J. A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson

Institutions: University of York, British Aerospace (United Kingdom)

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W24211378

FWCI: 4.023

Cites: 3

Cited by: 2

Related to: 10