首页> 外文OA文献 >Verifying Untimed and Timed Aspects of the Experimental Batch Plant

【2h】

Verifying Untimed and Timed Aspects of the Experimental Batch Plant

机译：验证实验批处理工厂的不定时和定时方面

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ralf Huuck; Ben Lukoschus; Yassine Lakhnech;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying Untimed and Timed Aspects of the Experimental Batch Plant [J] . Ralf Huuck, Ben Lukoschus, Yassine Lakhnech European Journal of Control . 2001,第4期

机译：验证实验批处理工厂的非定时和定时方面
2. An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems [J] . Stefan Kowalewski, Olaf Stursberg, Nanette Bauer European Journal of Control . 2001,第4期

机译：实验批处理工厂作为验证混合系统的测试用例
3. USE OF BATCH METHODS OF VERIFICATION OF MEASUREMENT CHANNELS AT NUCLEAR POWER PLANTS [J] . Zhmaylov V. V., Kozhevnikov A. Yu., Korovina O. A. Measurement techniques . 2020,第5期

机译：在核电站使用批量验证测量通道的方法
4. Verification of dense time properties using theories of untimed process algebra [C] . Matti Luukkainen IFIP TC6/WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems . 2001

机译：使用无限的过程代数理论验证致密时间特性
5. Development of a robust framework for real-time hybrid simulation: From dynamical system, motion control to experimental error verification. [D] . Gao, Xiuyu. 2012

机译：开发用于实时混合仿真的可靠框架：从动态系统，运动控制到实验误差验证。
6. Fundamental aspects of electron transfer: experimental verification of vibronically coupled electron tunneling. [O] . M J Potasek, J J Hopfield 1977

机译：电子传输的基本方面：振动耦合电子隧穿的实验验证。
7. Real-Time Verification Techniques for Untimed Systems [O] . Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka 2007

机译：不定时系统的实时验证技术
8. Experimental design verification of WWER-440 model 213 nuclear power plants. Reference plant: Bohunice V2 (Slovakia). Report of the IAEA technical co-operation project RER/9/004 on evaluation of safety aspects of WWER-440 model 213 nuclear power plants [R] . 1995

机译：WWER-440型213核电站的实验设计验证。参考工厂：Bohunice V2（斯洛伐克）。关于评估WWER-440 213型核电厂安全方面的原子能机构技术合作项目RER / 9/004的报告

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号