MPG.eBooks - Author Search Results

Cover Image

1

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Published 2014

Springer International Publishing

Other Authors: “...Artho, Cyrille...”

Cover Image

2

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

Other Authors: “...Artho, Cyrille...”

Cover Image

3

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Published 2015

Springer International Publishing

Other Authors: “...Artho, Cyrille...”

Cover Image

4

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Published 2016

Springer International Publishing

Other Authors: “...Artho, Cyrille...”

Cover Image

5

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Other Authors: “...Artho, Cyrille...”

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: “...Artho, Cyrille...”