首页> 外文OA文献 >Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing

【2h】

Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing

机译：同步反应系统的验证：从形式验证到自动测试

页面导航

著录项
相似文献
相关主题

著录项

作者
Nicolas Halbwachs; Pascal Raymond;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Combining formal verification and conformance testing for validating reactive systems [J] . Vlad Rusu Software Testing, Verification and Reliability . 2003,第3期

机译：结合形式验证和一致性测试来验证反应系统
2. Synchronous Compensators: Models Verified by Tests of Automatic Voltage Regulator, Reactive Power Control, and Voltage Joint Control [J] . Aguero J.L., Arnera P.L., Lastra R.E.B., IEEE Transactions on Power Systems . 2006,第4期

机译：同步补偿器：通过自动电压调节器，无功功率控制和电压联合控制的测试验证的模型
3. Synchronous Compensators: Models Verified by Tests of Automatic Voltage Regulator, Reactive Power Control, and Voltage Joint Control [J] . Aguero J.L., Arnera P.L., Bianchi Lastra R.E., IEEE Transactions on Power Systems . 2006,第期

机译：同步补偿器：通过自动电压调节器，无功功率控制和电压联合控制的测试验证的模型
4. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems [C] . Vlad Rusu, Herve Marchand, Thierry Jeron International Symposium on Formal Methods Europe; 20050718-22; Newcastle(GB) . 2005

机译：自动验证和一致性测试，用于验证反应性系统的安全性
5. Automatic generation of invariants in formal verification of microprocessors and memory systems. [D] . Abu-Haimed, Husam Saad. 2004

机译：在微处理器和存储系统的形式验证中自动生成不变量。
6. Validation of Serological Testing for Anti-Treponema pallidum from Postmortem Blood on the Siemens-BEP®-III Automatic System [O] . Ulrich Kalus, Ina Wilkemeyer, Axel Pruss, 2013

机译：在Siemens-BEP®-III自动系统上验证死后血液中抗梅毒螺旋体的血清学检测
7. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems [O] . Rusu, Vlad, Marchand, Hervé, Jéron, Thierry 2005

机译：自动验证和一致性测试，用于验证反应性系统的安全性

Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing

著录项

相似文献

相关主题

期刊订阅