Papers authored by John Alexander McDermid
Refreshing results…
,
A. Ward
Product Line Analysis and the System Safety Process
Upload
Requirements for Performing Safety Analysis on Operating Systems
Upload
,
D. J. Pumfrey
Safety Analysis of Software Architectures - "LIghtweight PSSA"
Upload
Safety Arguments for use of an Ada to FPGA Compiler
Upload
Improving Certification Capability Through Autocode Generation
Upload
,
G. Morrison,
R. Muttram,
D. Oxenham,
N. Raby,
H. SMith,
P. Stein,
W. J. Stewart
Key Issues for Effective Technology Insertion
Upload
,
T. Cant
The HEAT/ACT Preliminary Safety Case
Upload
Automated Component Configuration in Safety-Critical Domains
Upload
The Language of Causation for Describing the Behaviour of Systems
Upload
,
Anthony Cant
A Contract-based Approach to Designing Safe Systems.
Upload
,
Thomas Heseltine
Epipole Estimation under Pure Camera Translation *
Download from www.researchgate.net
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
Upload
,
Anthony Cant
Safety Assurance Contracts for Integrated Modular Avionics.
Download from www.researchgate.netMissing publications? Search for publications with a matching author name.