Paperback Book
显示无货商品

Axel Legay的作品

Cover for Axel Legay · Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2014 edition] (2014)

Formal Modeling and Analysis of ... (2014)

Cover for Axel Legay · Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Runtime Verification: 4th Intern... (2013)