Toggle Main Menu Toggle Search

ePrints

A Formal Model for Safety-Critical Computing Systems

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

Downloads

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


Actions

Link to this publication


Share