Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

Theories of Programming and Formal Methods, Fachbücher von Jim Woodcock, Huibiao Zhu, Zhiming Liu

Symposium on Real-Time and Hybrid Systems, Fachbücher von Naijun Zhan, Ji Wang, Cliff Jones

Symposium On Real-time And Hybrid Systems | Cliff Jones (u. A.) |

Engineering Trustworthy Software Systems, Fachbücher von Zili Zhang, Zhiming Liu

Cliff Jones (u. A.) | Fm 2014: Formal Methods | Taschenbuch | Englisch

Formal Methods for Industrial Critical Systems, Fachbücher von Kim Guldstrand Larsen, Tim Willemse

Formal Methods in Systems Biology, Fachbücher

Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons

Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira

Hybrid And Real Time Systems : International Workshop ; Proceedings /

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Hybrid Page Replacement Algorithm In Real Time Systems, Fachbücher von Pallab Banerjee, Biresh Kumar

Formal Methods for Discrete-Time Dynamical Systems, Fachbücher von Calin Belta, Ebru Aydin Gol, Boyan Yordanov

Formal Methods for Industrial Critical Systems, Fachbücher

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci