李大奎
开通时间：..
最后更新时间：..
点击次数：
论文类型：期刊论文
发表时间：2013-01-01
发表刊物：Journal of Information & Computational Science
卷号：3
期号：10
页面范围：901-910
上一条：Wu's method based temporal assertions checking for SEREs properties
下一条：A Case Study on High Trustworthy Environment Construction for Smart Home Applications
