Integrated project support environments

Veröffentlicht 1985

Software engineer's reference book

Veröffentlicht 1993

Software engineer's reference book

Veröffentlicht 1991

Software engineer's reference book

Veröffentlicht 1994

ADA on multiple processors

von McDermid, John A.
Veröffentlicht 1982

Lifecycle support in the Ada environment

von McDermid, John
Veröffentlicht 1984

Investigating Human Error Within GoA-2 Metro Lines

von Hunter, Josh
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)

Life cycle support in the Ada environment

von McDermid, John
Veröffentlicht 1984

Life cycle support in the Ada environment

von McDermid, John
Veröffentlicht 1984

Analysing the Safety of Decision-Making in Autonomous Systems

von Osborne, Matt
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)

Enhancing the Value of Counterfactual Explanations for Deep Learning

von Jia, Yan
Veröffentlicht in AIME (19. : 2021 : Online) Artificial Intelligence in Medicine (2021)

A search-based automated test-data generation framework for safety-critical systems

Veröffentlicht in Systems engineering for business process change (2002)

Software engineering environments: automated support for software engineering

von Brown, Alan W.
Veröffentlicht 1992

The Theory and practice of refinement : approaches to the formal development of large-scale software systems

Veröffentlicht 1989