Journal ArticleOPEN ACCESS

Development methods for trusted computer systems

Formal Aspects of Computing (1989) 1(1) 5-18
DOI: 10.1007/BF01887197
3Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

Abstract

Well-designed computer systems can be safer than hardwired alternatives, and computer systems can control processes which are too complex for hardwired solutions, or where the hardwired solution is uneconomic. © 1989 BCS.

Author supplied keywords

Cite

CITATION STYLE

APA

Thomas, M. (1989). Development methods for trusted computer systems. Formal Aspects of Computing, 1(1), 5–18. https://doi.org/10.1007/BF01887197

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free