Ercument Canver

Publication Activity (10 Years)

Years Active: 1999-2002
Publications (10 Years): 0

Publications

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51 (2) (2002)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS (1999)
Ercument Canver, Friedrich W. von Henke
Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS (1999)