کتاب های Doron Peled
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Cyrille Artho, Axel Legay, Doron Peled (eds.), 2016
Dependable software systems engineering
Alexander Pretschner, Doron A Peled, Thomas Hutzelmann, 2017
软件可靠性方法
(以色列)Doron A. Peled, 2012
Model Checking (Cyber Physical Systems Series)
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, 2018
