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] |