Cliff B. Jones

Bücher

Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Formal Methods and Hybrid Real-Time Systems Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems
2007
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
2009