![]() |
| 1998 | ||
|---|---|---|
| 1 | I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry: Key Applications for High-Assurance Systems. IEEE Computer 31(4): 35-45 (1998) | |
| 1 | Leon Alkalai | [1] |
| 2 | John M. Covan | [1] |
| 3 | Larry J. Dalton | [1] |
| 4 | Rick Harper | [1] |
| 5 | Michael R. Lowry | [1] |
| 6 | Ramin Mojdehbakhsh | [1] |
| 7 | Kinji Mori | [1] |
| 8 | Raymond A. Paul | [1] |
| 9 | Sanjai Rayadurgam | [1] |
| 10 | Ann T. Tai | [1] |
| 11 | Wei-Tek Tsai | [1] |
| 12 | Victor L. Winter | [1] |
| 13 | I-Ling Yen | [1] |