Formal Methods and Hybrid Real-Time Systems المزيد من كتب Cliff B. Jones, Zhiming Liu & Jim Woodcock

Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
٢٠١٠
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
٢٠٠٩