1999 |
3 | EE | John M. Covan:
Why Modern Systems Should Minimize the Use of Safety Critical Software.
HASE 1999: 271-271 |
1998 |
2 | EE | John M. Covan,
J. Arlin Cooper:
Predictable Safety in the Control of High Consequence Systems.
HASE 1998: 200-204 |
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) |