John M. Covan

According to our database, John M. Covan authored at least 3 papers between 1998 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Why Modern Systems Should Minimize the Use of Safety Critical Software.

John M. Covan

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Key Applications for High-Assurance Systems.

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

Computer, 1998

Predictable Safety in the Control of High Consequence Systems.

John M. Covan, J. Arlin Cooper

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998