Open Source Software Reliability Model with the Decreasing Trend of Fault Detection Rate.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1301, doi. 10.1093/comjnl/bxy111
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2019 AND VI 62 AND IP 9
Results: 9
1
2
Proving Linearizability Using Reduction.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1342, doi. 10.1093/comjnl/bxy116
- By:
- Publication type:
- Article
3
Characterizations of Minimum Structure- and Substructure-Cuts of Hypercubes.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1313, doi. 10.1093/comjnl/bxy115
- By:
- Publication type:
- Article
4
Towards Combining Model Checking and Proof Checking.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1365, doi. 10.1093/comjnl/bxy112
- By:
- Publication type:
- Article
5
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1322, doi. 10.1093/comjnl/bxy110
- By:
- Publication type:
- Article
6
A Hybrid Decentralized Coordinated Approach for Multi-Robot Exploration Task.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1284, doi. 10.1093/comjnl/bxy107
- By:
- Publication type:
- Article
7
The Generalized Connectivity of (n,k)-Bubble-Sort Graphs.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1277, doi. 10.1093/comjnl/bxy106
- By:
- Publication type:
- Article
8
Error Correction by Structural Simplicity: Correcting Samplable Additive Errors.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1265, doi. 10.1093/comjnl/bxy100
- By:
- Publication type:
- Article
9
Centrality and Partial Correlation Coefficient-Based Assortativity Analysis of Real-World Networks.
- Published in:
- Computer Journal, 2019, v. 62, n. 9, p. 1247, doi. 10.1093/comjnl/bxy098
- By:
- Publication type:
- Article