%0 Journal Article
%T 一种基于微分代数动态逻辑的CPS建模与验证方法
%A 陈乔乔  李必信  吉顺慧
%J -
%D 2013
%X 随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用，安..
%K [信息物理融合系统
%K 微分代数动态逻辑
%K HybridUML
%K 微分代数程序
%K 验证
%K cyber-physical systems
%K differential-algebraic dynamic logic
%K HybridUML
%K differential-algebraic program
%K verification]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I4/700