Supported by the National Natural Science Foundation of China under Grant No.60773152 (国家自然科学基金); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)); the National High-Tech Research and Development Plan of China under Grant Nos.2007AA01Z127, 2007AA010301 (国家高技术研究发展计划(863)); the Fund for Creative Research Groups of China under Grant No.60821003 (国家创新研究群体科学基金)
柳毅,麻志毅,何啸,邵维忠.一种从UML模型到可靠性分析模型的转换方法.软件学报,2010,21(2):287-304
复制