首页> 外文OA文献 >An Integrated Framework for Checking Concurrency-related Programming Errors ∗

【2h】

An Integrated Framework for Checking Concurrency-related Programming Errors ∗

机译：检查并发相关编程错误的集成框架

代理获取

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

页面导航

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

著录项

作者
Qichang Chen; Liqiang Wang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Bounded model checking of C plus plus programs based on the Qt cross-platform framework [J] . Monteiro Felipe R., Garcia Mario A. P., Cordeiro Lucas C., Software Testing, Verification and Reliability . 2017,第3期

机译：基于Qt跨平台框架的C plus plus程序的有界模型检查
2. A Framework for Model Checking UDP Network Programs with Java Pathfinder [J] . Wijliam Rathje, Brad Richards Ada Letters . 2014,第3期

机译：使用Java Pathfinder进行UDP网络程序模型检查的框架
3. A semantic framework for the abstract model checking of tccp programs [J] . Maria Alpuente, Maria del Mar Gallardo, Ernesto Pimentel, Theoretical computer science . 2005,第1期

机译：tccp程序抽象模型检查的语义框架
4. Integrated Error Model and Error Checking Separating Technology for Round Inductosyn Angle-measuring System [C] . REN Shun-qing, CHEN Xi-jun, ZENG Qing-shuang, Instrumentation Science and Technology vol.1 . 2004

机译：圆形感应同步测角系统的综合误差模型及误差校验与分离技术
5. An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors. [D] . Chen, Qichang. 2011

机译：一个集成的静态和动态程序分析框架，用于检查与并发相关的编程错误。
6. Stable and ordered amide frameworks synthesised under reversible conditions which facilitate error checking [O] . David Stewart, Dmytro Antypov, Matthew S. Dyer, -1

机译：在可逆条件下合成稳定且有序的酰胺骨架有助于错误检查
7. Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) [O] . Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, 2018

机译：基于QT跨平台框架的C ++程序的有界模型检查（期刊第一摘要）
8. Apollo integrated checkout program. Volume 2 - Integrated checkout equipment [R] . 1962

机译：apollo综合结账计划。第2卷 - 集成的结账设备

An Integrated Framework for Checking Concurrency-related Programming Errors ∗

著录项

引文网络

相似文献

相关主题

期刊订阅