Ontology-Supported Scaffolding for System Safety Analysis

Brown, Paul Simon ORCID: https://orcid.org/0000-0003-4134-9092 (2022) Ontology-Supported Scaffolding for System Safety Analysis. PhD thesis, University of Leeds.



Supervisors: Dimitrova, Vania and Cohn, Anthony, G. and Hart, Glen
Related URLs:
Keywords: Ontology, STAMP, System Safety, Situation Calculus, Contingent Scaffolding, Logtalk, Prolog, Ontology Authoring
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Identification Number/EthosID: uk.bl.ethos.865270
Depositing User: Mr Paul Brown
Date Deposited: 15 Nov 2022 11:46
Last Modified: 11 Dec 2022 10:53




You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.