Search Books

Model-Driven Development of Re... 手動新增

edited by Manfred Broy, Ingolf H. Kruger, Michael Meisinger.

Springer-Verlag Berlin Heidelberg

Engineering dependable softwar... 手動新增

proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munc

IOS Press : published in cooperation with NATO Emerging Security Challenges Division

Engineering methods and tools ... 手動新增

edited by Manfred Broy, Wassiou Sitou and Tony Hoare.

IOS Press

Engineering Theories of Softwa... 手動新增

edited by Manfred Broy ... [et al.].

Springer

Model-Based Testing of Reactiv... 手動新增

edited by Manfred Broy ... [et al.].

Springer-Verlag GmbH.

Software and systems safety : ... 手動新增

edited by Manfred Broy, Christian Leuxner and Tony Hoare.

IOS Press