搜尋書籍

Verification, Model Checking, ... 手動新增

edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck.

Springer-Verlag Berlin Heidelberg

Automated Technology for Verif... 手動新增

edited by Doron A. Peled, Yih-Kuen Tsay.

Springer-Verlag GmbH.

Dependable software systems en... 手動新增

edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.

IOS Press

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

Model checking and artificial ... 手動新增

edited by Doron A. Peled, Michael J. Wooldridge.

Springer Berlin Heidelberg

Runtime verification : 9th int... 手動新增

edited by Saddek Bensalem, Doron A. Peled.

Springer Berlin Heidelberg