Year | 2006 |
---|---|
Authors | FANG YU |
Paper Title | Farn Wang;Geng-Dian Huang;Fang Yu, 2006.07, 'TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering, ' IEEE Transactions on Software Engineering, Vol.32, No.7, pp.510-526.(ACM, IEEE, SCI) |
Vol.No | 316829 |
Date of Publication | 2006-07-01 |