Name
Abstract | ||
|---|---|---|
The paper consists of project summaries concerning high-assurance systems. Those who are grappling with practical high-assurance design issues report their strategies, the problems they solved, and the challenges that remain. The six summaries represent a cross-section of projects and domains with some strikingly similar challenges. Although they address diverse domains, these reports reveal a set... |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1109/2.666841 | Computer |
Keywords | DocType | Volume |
Monitoring,Nuclear weapons,Hardware,Software safety,Laboratories,Sockets,Missiles,US Department of Energy,Availability,National security | Journal | 31 |
Issue | ISSN | Citations |
4 | 0018-9162 | 5 |
PageRank | References | Authors |
0.52 | 9 | 14 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| I-Ling Yen | 1 | 952 | 189.17 |
| Raymond A. Paul | 2 | 459 | 54.55 |
| Victor L. Winter | 3 | 110 | 17.04 |
| John M. Covan | 4 | 6 | 1.30 |
| Larry J. Dalton | 5 | 7 | 1.35 |
| Leon Alkalai | 6 | 79 | 11.94 |
| Ann T. Tai | 7 | 48 | 6.19 |
| Rick Harper | 8 | 22 | 2.31 |
| Barry Flahive | 9 | 5 | 0.52 |
| Wei-Tek Tsai | 10 | 3601 | 610.30 |
| Ramin Mojdehbakhsh | 11 | 30 | 5.83 |
| Sanjai Rayadurgam | 12 | 284 | 29.86 |
| Kinji Mori | 13 | 450 | 109.20 |
| Michael R. Lowry | 14 | 289 | 51.71 |