Michel Kouvaras

According to our database, Michel Kouvaras authored at least 2 papers between 1997 and 1999.

Collaborative distances:

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

1999

Combining Methods for the Analysis of a Fault-Tolerant System.

Hui Shi, Jan Peleska, Michel Kouvaras

Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

1997

Deadlock Analysis for a Fault-Tolerant System.

Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi

Proceedings of the Algebraic Methodology and Software Technology, 1997