Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
复制标题
在事件 B 中嵌入近似：使用证明和细化的安全混合系统设计
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Pantel Marc
中科院分区：
文献类型：
--
作者：
Dupont Guillaume;Ait-Ameur Yamine;Singh Neeraj K.;Ishikawa Fuyuki;Kobayashi Tsutomu;Pantel Marc
DOI：
10.1007/3-540-45657-0_30
发表时间：
2002-07
期刊：
--
影响因子：
--
作者：
E. Asarin;T. Dang;O. Maler
通讯作者：
E. Asarin;T. Dang;O. Maler
影响因子：
7.8
作者：
Georgios Fainekos;A. Girard;George Pappas
通讯作者：
George Pappas