Efficient modeling of concurrent systems in BMC

机译：BmC中并发系统的高效建模

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Malay K. Ganai; Aarti Gupta;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Efficient modeling and optimizing of checkpointing in concurrent component-based software systems [J] . Noor Bajunaid, Daniel A. Menascé The Journal of Systems and Software . 2018,第MAY期

机译：并发基于组件的软件系统中的检查点的高效建模和优化
2. Compact and efficiently verifiable models for concurrent systems [J] . de Leon Hernan Ponce, Mokhov Andrey Formal Methods in System Design . 2018,第3期

机译：适用于并发系统的紧凑且有效验证的模型
3. A True-Concurrency Encoding for BMC of Compositional Systems [J] . Yin Liangze, Dong Wei, He Fei, The Computer journal . 2018,第5期

机译：组合系统BMC的真正并发编码
4. Efficient Modeling of Concurrent Systems in BMC [C] . Malay K. Ganai, Aarti Gupta IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services;MMNS 2008 . 2008

机译：BMC中并发系统的高效建模
5. Efficient methods for verification and performance evaluation of concurrent systems by Petri nets. [D] . Kovalyov, Andrei. 2002

机译：用Petri网验证并发系统的有效方法。
6. Modeling Dynamic Systems with Efficient Ensembles of Process-Based Models [O] . Nikola Simidjievski, Ljupčo Todorovski, Sašo Džeroski -1

机译：使用基于过程的模型的高效集成对动态系统进行建模
7. Automated Concurrency Re-assignment in High Level System Models for Efficient System-Level Simulation [O] . Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 2002

机译：高级系统模型中的自动并发重新分配，用于高效的系统级仿真
8. Ada Compiler Validation Summary Report. Certificate Number: 920121W1.11234, IBMCanada Ltd. AIX Ada/600 Internal Development Version RISC System/6000, Model 7012-320 => RISC System/6000, Model 7012-320 [R] . 1992

机译：ada编译器验证摘要报告。证书编号：920121W1.11234，IBmCanada Ltd. aIX ada / 600内部开发版RIsC系统/ 6000，型号7012-320 => RIsC system / 6000，型号7012-320

Efficient modeling of concurrent systems in BMC

著录项

引文网络

相似文献

相关主题

期刊订阅