High Assurance Systems.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 471, doi. 10.1093/comjnl/44.6.471
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2001 AND VI 44 AND IP 6
Results: 8
1
2
A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 569, doi. 10.1093/comjnl/44.6.569
- By:
- Publication type:
- Article
3
Estimating Software Rejuvenation Schedules in High-Assurance Systems.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 473, doi. 10.1093/comjnl/44.6.473
- By:
- Publication type:
- Article
4
Software Quality Prediction for High-Assurance Network Telecommunications Systems.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 557
- By:
- Publication type:
- Article
5
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 544, doi. 10.1093/comjnl/44.6.544
- By:
- Publication type:
- Article
6
Use of Modern Processors in Safety-Critical Applications.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 531, doi. 10.1093/comjnl/44.6.531
- By:
- Publication type:
- Article
7
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 504, doi. 10.1093/comjnl/44.6.504
- By:
- Publication type:
- Article
8
Managing Latency and Buffer Requirements in Processing Graph Chains.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 486, doi. 10.1093/comjnl/44.6.486
- By:
- Publication type:
- Article