Toggle Main Menu Toggle Search

Open Access padlockePrints

A Formal Model for Safety-Critical Computing Systems

Lookup NU author(s): Dr Amer Saeed, Emeritus Professor Tom Anderson, Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Saeed A, Anderson T, Koutny M

Editor(s): Daniel, B.K.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Conference on Computer Safety, Reliability and Security (SAFECOMP)

Year of Conference: 1990

Pages: 1-6

Publisher: Elsevier Science

Library holdings: Search Newcastle University Library for this item

ISBN: 9780080409535