1.Design, analysis and verification of real-time systems based on time petri net refinement
Ding, Zhijun, Jiang, More...
Transactions on Embedded Computing Systems[1558-3465], Published 2013, Volume 12, Issue 1,
收錄情况: WOS SCOPUS
WOS核心合集引用: 25
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫