Marie Ortalo-Borrel

According to our database, Marie Ortalo-Borrel authored at least 3 papers between 1996 and 2000.

Collaborative distances:

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

2000

Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions.

Karama Kanoun, Marie Ortalo-Borrel

IEEE Trans. Reliab., 2000

1999

Availability of CAUTRA, a Subset of the French Air Traffic Control System.

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin

IEEE Trans. Computers, 1999

1996

Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin

Proceedings of the Digest of Papers: FTCS-26, 1996