Formal Techniques, Modelling and Analysis of Timed and Fault

girro 11 阅读 0 评论
工程

Formal Techniques, Modelling and Analysis of Timed and Fault

by: Yassine Lakhnech, Sergio Yovine

Print length: 397

Publication date: 2004-12-14

ISBN-10: 3540231676

ISBN-13: 9783540231677

代发服务PDF电子书10元立即求助