Home Advanced Search

Advanced Search - Page 1

软件可靠性方法
  • PDF
  • Chinese
  • Year: 2012
  • Author: Doron A. Peled
Software Reliability Methods
  • DJVU
  • English
  • Year: 2001
  • Author: Doron A. Peled
Software Reliability Methods
  • PDF
  • English
  • Year: 2001
  • Author: Doron A. Peled
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...
  • PDF
  • English
  • Year: 2009
  • Author: Doron A. Peled, Michael Wooldridge
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Dependable software systems engineering
  • PDF
  • English
  • Year: 2017
  • Author: Alexander Pretschner, Doron A Peled, Thomas Hutzelmann
Model checking
  • DJVU
  • English
  • Year: 1999
  • Author: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Model Checking
  • DJVU
  • English
  • Year: 1999
  • Author: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)
search