首页> 外文OA文献 >Automated Analysis of Concurrent Systems with the Constrained Expression Toolset

【2h】

Automated Analysis of Concurrent Systems with the Constrained Expression Toolset

机译：使用约束表达工具集的并发系统自动分析

页面导航

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

著录项

作者
George Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automated analysis of concurrent systems with the constrained expression toolset [J] . Avrunin G.S., Buy U.A. IEEE Transactions on Software Engineering . 1991,第11期

机译：约束表达式工具集自动分析并发系统
2. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems [J] . Avrunin George S., Dillon Laura K., Wileden Jack C., Software Engineering, IEEE Transactions on . 1986,第2期

机译：受约束的表达式：为并行软件系统的设计方法添加分析功能
3. SEGGA: a toolset for rapid automated analysis of epithelial cell polarity and dynamics [J] . Farrell Dene L., Weitz Ori, Magnasco Marcelo O., Development . 2017,第9期

机译：Segga：一种快速自动分析上皮细胞极性和动力学的工具集
4. Experiments with an improved constrained expression toolset [C] . George S. Avrunin, Ugo A. Buy, James C. Corbett, Proceedings of the symposium on Testing, analysis, and verification . 1991

机译：使用改进的约束表达工具集进行实验
5. Automated Image Analysis for Systematic and Quantitative Comparison of Protein Expression within Cell Populations. [D] . Handfield, Louis-Francois. 2014

机译：自动化的图像分析系统地和定量地比较了细胞群体中蛋白质的表达。
6. SEGGA: a toolset for rapid automated analysis of epithelial cell polarity and dynamics [O] . Dene L. Farrell, Ori Weitz, Marcelo O. Magnasco, -1

机译：SEGGA：用于快速自动分析上皮细胞极性和动力学的工具集
7. A Graphical Interval Logic Toolset for Verifying Concurrent Systems [O] . G. Kutty, Y. S. Ramakrishna, L. E. Moser, 1993

机译：用于验证并发系统的图形区间逻辑工具集
8. Read-Write-Validate Approach to Optimistic Concurrency Control for Energy Efficiency of Resource-Constrained Systems. [R] . Solaiman, K., Brook, M., Ushaw, G., 2013

机译：资源受限系统能效的乐观并发控制的读写验证方法。

Automated Analysis of Concurrent Systems with the Constrained Expression Toolset

著录项

引文网络

相似文献

相关主题

期刊订阅