Cyrille Artho – författare
Visar alla böcker från författaren Cyrille Artho.
6 produkter
Formal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2019
729 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2014
729 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2015
729 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2016
729 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Av Cyrille Artho, Axel Legay m. fl.
Häftad, 2016
729 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2017
729 kr
Lägg i varukorg