 | 2002 |
|---|
| 3 |       | 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): 164-179 (2002) |
| 1999 |
|---|
| 2 |  | Ercument Canver,
Friedrich W. von Henke:
Formal Development of Object-Based Systems in a Temporal Logic Setting.
FMOODS 1999: 419-436 |
| 1 | | 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: 68-75 |
