The Functional Specification of OCCAM Programs for Time Critical Applications

Paddy Nixon, Peter Croll

Research output: A Conference proceeding or a Chapter in BookOther chapter contribution

Fingerprint Dive into the research topics of 'The Functional Specification of OCCAM Programs for Time Critical Applications'. Together they form a unique fingerprint.

Engineering & Materials Science