Computer Science ›› 2013, Vol. 40 ›› Issue (11): 187-190.
Previous Articles Next Articles
RONG Mei
| [1] Poovendran R．Cyber-Physical Systems:Close Encounters Be-tween Two Parallel Worlds [J]．Proceedings of the IEEE,2010,98(8):1362-1366 [2] 刘克,单志广,王戟,等.可信软件基础研究重大研究计划综述[J]．中国科学基金,2008,2(3):145-151 [3] 王中杰,谢陆路．信息物理系统研究综述[J]．自动化学报,2011,7(10):1157-1166 [4] Ehyaei A,Tovar E,Pereira N,et al．Scalable Data Acquisitionfor Densely Instrumented Cyber-Physical Systems[C]∥2011IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:174-183 [5] Marija D I,Xie L,Khan U A．Modeling of Future Cyber-Physical Energy Systems for Distributed Sensing and Control [J]．IEEE Transactions on Systems,Man,and Cybernetics-Part A:Systems and Humans,2010,40(4):825-838 [6] Bak S,Manamcheri K,Mitra S,et al．Sandboxing Controllers for Cyber-Physical Systems[C]∥2011IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:3-12 [7] Duggirala P S,Mitra S．Abstraction Refinement for Stability[C]∥2011 IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:22-31 [8] Zhang F,DiSanto W,Ren J,et al．A Novel CPS System for Eva-luating a Neural-Machine Interface for Artificial Legs[C]∥2011IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:67-76 [9] Tang L,Yu X,Kim S,et al．Tru-Alarm:Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems[C]∥2010IEEE International Conference on Data Mining．Los Alamitos:IEEE Computer Society,2010:1079-1084 [10] 郎波,刘旭东,王怀民,等．一种软件可信分级模型[J]．计算机科学与探索,2010,4(3):231-239 [11] Yang Y,Wang Q,Li M S．Process trustworthiness as a capabilityindicator for measuring and improving software trustworthiness[C]∥Lecture Notes in Computer Science 5543:Proceedings of the International Conference on Software Process．Berlin Heidelberg:Springer-Verlag,2009:389-401 [12] 丁学雷,王怀民,王元元,等．面向验证的软件可信证据与可信评估[J].计算机科学与探索,2010,4(1):46-48 [13] Uzma R,Marietta J T．Defining and Evaluating a Measure of Open Source Project Survivability[J]．IEEE Transactions On Software Engineering,2012,38(1):163-174 [14] 沈昌祥,张焕国,王怀民,等．可信计算的研究与发展[J]．中国科学:信息科学,2010,40(2):139-166 [15] 吕建,徐锋,王远．开放环境下基于信任管理的软件可信保障[J].中国计算机学会通讯,2007,3(11):14-24 [16] Lee E A．Cyber physical systems:Design challenges[C]∥11th IEEE Symposium on Object Oriented Real-Time Distributed Computing(ISORC)．Los Alamitos:IEEE Computer Society,2008:363-369 |
| No related articles found! |
|
||
Home