MPG.eBooks - Author Search Results

Cover Image

1

Software Reliability Methods

by Peled, Doron A.
Published 2001

Springer New York

Cover Image

2

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

by Peled, Doron A
Published 2002

IFIP International Federation for Information Processing

Cover Image

3

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A...”

Cover Image

4

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

5

Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

6

Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

7

Time for Verification : Essays in Memory of Amir Pnueli

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

8

Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

9

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

10

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”