Ercument Canver

According to our database, Ercument Canver authored at least 3 papers between 1999 and 2002.

Collaborative distances:

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

2002

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke

IEEE Trans. Computers, 2002

1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke

Proceedings of the Digest of Papers: FTCS-29, 1999

Formal Development of Object-Based Systems in a Temporal Logic Setting.

Ercument Canver, Friedrich W. von Henke

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999