Biblio

Export 5 results:
Filters: Автор is Brian Randell  [Clear All Filters]
2009
"Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques." Fundamenta Informaticae 97, no. 1-2 (2009): 41-91.
2004
"Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computing 1, no. 1 (2004): 11-33.
Avizienis, Algirdas, Jean-Claude Laprie, Brian Randell, and Carl E. Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computin 1, no. 1 (2004): 11-33.
2002
Avizzienis, Algirdas, ean-Claude Laprie, Brian Randell, and Carl Landwehr. "Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on De¬pendable and Secure Computing 1, no. 1 (2002): 11-33.
1986
Dobson, John E., and Brian Randell. Building Reliable Secure Computing Systems out of Unreliable Insecure Components In IEEE Symposium on Security and Privacy . Oakland, California, USA, 1986.