Search Books

Dependable software systems en... 手動新增

edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.

IOS Press

Automated Technology for Verif... 手動新增

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

Springer-Verlag GmbH.

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

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

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

Springer-Verlag Berlin Heidelberg