Analysis of white box test of cyber-physical system
暂无分享,去创建一个
[1] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[2] Edward A. Lee,et al. A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[3] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[4] E. Okorafor. All-Optical Routing for High Assurance Computer Systems , 2007 .
[5] Kurt Rohloff,et al. High-Assurance Distributed, Adaptive Software for Dynamic Systems , 2007 .
[6] Zhihao Jiang,et al. Demo Abstract: Model-Based Testing of Implantable Cardiac Devices , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
[7] Alex Doboli,et al. A simulation framework for PSoC based Cyber Physical Systems , 2010, 2010 International Joint Conference on Computational Cybernetics and Technical Informatics.
[8] K. H. Kim. Challenges and Future Directions of Cyber-Physical System Software , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference.
[9] Lee,et al. [IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Cyber Physical Systems: Design Cha , 2008 .
[10] Edward A. Lee. Computing Foundations and Practice for Cyber- Physical Systems: A Preliminary Report , 2007 .