Formal Specification of the ARINC 653 Architecture Using Circus

Oliveira Gomes, Artur (2012) Formal Specification of the ARINC 653 Architecture Using Circus. MSc by research thesis, University of York.

Abstract

Metadata

Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Mr Artur Oliveira Gomes
Date Deposited: 14 Aug 2012 11:13
Last Modified: 08 Aug 2013 08:49

Download

MSc by Research thesis

Filename: circus.pdf

Description: MSc by Research thesis

Share / Export


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.