首页> 外文OA文献 >Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

【2h】

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

机译：使用特定于域的软件模型检查验证分布式的基于事件的中间件应用程序

代理获取

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

页面导航

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

著录项

作者
L. Ruhai Cai; Jeremy S. Bradbury; Juergen Dingel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Software Model Checking of UDP-based Distributed Applications [J] . Nazim Sebih, Masami Hagiya, Franz Weitl, International Journal of Networking and Computing . 2015,第2期

机译：基于UDP的分布式应用程序的软件模型检查
2. Cascading verification: an integrated method for domain-specific model checking [J] . M. G. Murphy Computing reviews . 2013,第12期

机译：级联验证：用于领域特定模型检查的集成方法
3. Verification and analysis of domain-specific models of physical characteristics in embedded control software [J] . Arjan de Roo, Hasan Soezer, Mehmet Aksit Information and software technology . 2012,第12期

机译：嵌入式控制软件中特定领域物理特性模型的验证和分析
4. Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking [C] . L. Ruhai Cai, Jeremy S. Bradbury, Juergen Dingel Formal Methods for Open Object-Based Distributed Systems(FMOODS 2007); 20070606-08; Paphos(CY) . 2007

机译：使用特定于域的软件模型检查来验证基于事件的分布式中间件应用程序
5. Domain-specific environment generation for modular software model checking [D] . Tkachuk, Oksana 2008

机译：特定领域的环境生成，用于模块化软件模型检查
6. Computational Verification of Large Logical Models—Application to the Prediction of T Cell Response to Checkpoint Inhibitors [O] . Céline Hernandez, Morgane Thomas-Chollier, Aurélien Naldi, 2020

机译：大型逻辑模型的计算验证 - 应用于检查点抑制剂的T细胞响应预测
7. Specification and runtime checking of timing constraints in distributed event-based applications [O] . Γρηγορόπουλος Αθανάσιος Σ. 2015

机译：基于分布式事件的应用程序中的时序约束的规范和运行时检查
8. Software Model Checking for Verifying Distributed Algorithms. [R] . Sagar, C., Edmondson, J. 2014

机译：验证分布式算法的软件模型检验。

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅