首页> 外文OA文献 >A comparison of simulation techniques and algebraic techniques for verifying concurrent systems

【2h】

A comparison of simulation techniques and algebraic techniques for verifying concurrent systems

机译：用于验证并发系统的仿真技术和代数技术的比较

页面导航

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

著录项

作者
Nancy Lynch; Roberto Segala;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques [J] . James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Control Systems, IEEE . 2016,第6期

机译：嵌入式控制系统的基于仿真的验证方法：传统和高级建模，测试和验证技术的概述
2. Predicting permeability based on flow simulations and textile modelling techniques: Comparison with experimental values and verification of FlowTex solver using Ansys CFX [J] . Swery Elinor E., Meier Reinhold, Lomov Stepan V., Journal of Composite Materials . 2016,第5期

机译：基于流动模拟和织物建模技术的渗透率预测：与实验值的比较以及使用Ansys CFX验证FlowTex求解器
3. Measuring techniques suitable for verification and repairing of industrial components: A comparison among optical systems [J] . Guerra M. G., Lavecchia F., Maggipinto G., CIRP Journal of Manufacturing Science and Technology . 2019,第期

机译：用于验证和修复工业组件的测量技术：光学系统之间的比较
4. Comparison of algebraic reconstruction techniques for Tomosynthesis system [C] . Cengiz Kubra, Kamasak Mustafa Signal Processing and Communications Applications Conference . 2014

机译：层析合成系统的代数重建技术比较
5. Techniques for developing verified concurrent programs based on monitors and semaphores. [D] . Fazilatunnessa. 2012

机译：用于基于监视器和信号量开发经过验证的并发程序的技术。
6. Enhanced Sampling Techniques in Molecular Dynamics Simulations of Biological Systems [O] . Rafael C. Bernardi, Marcelo C. R. Melo, Klaus Schulten -1

机译：生物系统分子动力学模拟中的增强采样技术
7. Global vs. local model checking: A comparison of verification techniques for infinite state systems [O] . Tobias Schuele, Klaus Schneider 2004

机译：全局与局部模型检查：无限状态系统验证技术的比较

A comparison of simulation techniques and algebraic techniques for verifying concurrent systems

著录项

引文网络

相似文献

相关主题

期刊订阅