首页> 外文OA文献 >AutoFocus -- A Tool for Distributed Systems Specification

【2h】

AutoFocus -- A Tool for Distributed Systems Specification

机译：autoFocus - 分布式系统规范工具

页面导航

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

著录项

作者
Franz Huber; Bernhard Schätz; Alexander Schmidt; Katharina Spies;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Tool for the Model-Based Specification of Open Distributed Systems [J] . Jose Raul Romero, Juan Ignacio Jaen, Antonio Vallecillo The Computer journal . 2013,第7期

机译：用于基于模型的开放式分布式系统规范的工具
2. Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems: [J] . Raja Oueslati, Olfa Mosbahi Advances in Mechanical Engineering . 2017,第11期

机译：分布式可重新配置B方法，用于基于B的分布式可重新配置控制系统的规范和验证：
3. Solving the Problems Concerned with Modernization of Power Unit Monitoring and Control Systems Using the Distributed Facilities and Technologies Available in the SARGON Computerized Automation System. Part 1: Tools of PTC 'Sargon' for Distributed Systems [J] . V. A. Mendelevich Thermal engineering . 2013,第2期

机译：使用SARGON计算机自动化系统中可用的分布式设施和技术来解决与动力装置监控系统现代化相关的问题。第1部分：分布式系统的PTC“ Sargon”工具
4. AutoFocus - A Tool for Distributed Systems Specification [C] . Franz Huber, Bernhard Schatz, Alexander Schmidt, International Symposium on Formal Techniques in Real-time and Fault-Tolerant Systems . 1996

机译：自动对焦 - 分布式系统规范的工具
5. Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. [D] . Nassar, Ahmed Mohamed Ahmed Mohamed. 2016

机译：分布式多处理器系统的规范和运行时验证：语言，工具和体系结构。
6. ParBiBit: Parallel tool for binary biclustering on modern distributed-memory systems [O] . Jorge González-Domínguez, Roberto R. Expósito -1

机译：ParBiBit：用于现代分布式内存系统上的二进制双群集的并行工具
7. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems [O] . Blech, Jan Olaf, Schmidt, Heinz 2014

机译：BespaceD：迈向规范的工具框架和方法分布式软件构件的空间行为分析与验证系统

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号