MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2017

Springer Berlin Heidelberg

Other Authors: “...Legay, Axel...”

Cover Image

2

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

Published 2017

Springer Berlin Heidelberg

Other Authors: “...Legay, Axel...”

Cover Image

3

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Published 2014

Springer International Publishing

Other Authors: “...Legay, Axel...”

Cover Image

4

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Legay, Axel...”

Cover Image

5

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Published 2013

Springer International Publishing

Other Authors: “...Legay, Axel...”

Cover Image

6

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Published 2016

Springer International Publishing

Other Authors: “...Legay, Axel...”

Cover Image

7

From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Legay, Axel...”

Cover Image

8

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Published 2019

Springer International Publishing

Other Authors: “...Legay, Axel...”

Cover Image

9

Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

Published 2018

Springer International Publishing

Other Authors: “...Legay, Axel...”

Cover Image

10

Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Other Authors: “...Legay, Axel...”