MPG.eBooks - Author Search Results

Cover Image

1

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

by Havelund, Klaus
Published 2000

Springer Berlin Heidelberg

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Havelund, Klaus...”

Cover Image

3

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Havelund, Klaus...”

Cover Image

4

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Havelund, Klaus...”

Cover Image

5

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Published 2015

Springer International Publishing

Other Authors: “...Havelund, Klaus...”

Cover Image

6

NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...Havelund, Klaus...”

Cover Image

7

NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Havelund, Klaus...”

Cover Image

8

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Select...

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Havelund, Klaus...”

Cover Image

9

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Havelund, Klaus...”

Cover Image

10

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Havelund, Klaus...”