Artho, Cyrille books & textbook
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers ... in Computer and Information Science, 694)
Artho, Cyrille Ölveczky, Peter Csaba
Springer /2017-02-16 Paperback / 173 Pages
isbn-10: 3319539450 / isbn-13: 9783319539454
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science, 419)
Artho, Cyrille Ölveczky, Peter Csaba
Springer /2014-04-22 Paperback / 307 Pages
isbn-10: 3319054155 / isbn-13: 9783319054155
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
Artho, Cyrille Legay, Axel Peled, Doron
Springer /2016-09-22 Paperback / 541 Pages
isbn-10: 3319465198 / isbn-13: 9783319465197
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... in Computer and Information Science, 476)
Artho, Cyrille Ölveczky, Peter Csaba
Springer /2015-04-23 Paperback / 267 Pages
isbn-10: 3319175807 / isbn-13: 9783319175805
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... in Computer and Information Science, 596)
Artho, Cyrille Ölveczky, Peter Csaba
Springer /2016-02-03 Paperback / 281 Pages
isbn-10: 3319295098 / isbn-13: 9783319295091
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science, 1008)
Artho, Cyrille Ölveczky, Peter Csaba
Springer /2019-02-02 Paperback / 191 Pages
isbn-10: 303012987X / isbn-13: 9783030129873
