Paperback Book
显示无货商品

Cyrille Artho的作品

Cover for Cyrille Artho · Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science (Paperback Book) [2015 edition] (2015)

Formal Techniques for Safety-Cri... (2015)

Cover for Cyrille Artho · Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers - Communications in Computer and Information Science (Paperback Book) [2014 edition] (2014)

Formal Techniques for Safety-Cri... (2014)