Formal Methods for Distributed Computing in Future Railway Systems

机译：在未来铁路系统中分布式计算的正式方法

代理获取

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

页面导航

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

著录项

作者
Alessandro Fantechi; Stefania Gnesi; Anne E. Haxthausen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. FORMAL METHODS FOR QUALITY OF SERVICE ANALYSIS IN COMPONENT-BASED DISTRIBUTED COMPUTING [J] . Chunmin Yang, Barrett R. Bryant, Carol C. Burt, Journal of integrated design & process science . 2004,第2期

机译：基于组件的分布式计算中的服务分析质量的正式方法
2. Formal methods for railway control systems [J] . Alessandro Fantechi, Francesco Flammini, Stefania Gnesi International Journal on Software Tools for Technology Transfer . 2014,第6期

机译：铁路控制系统的正式方法
3. Application of Formal Methods to the Railway Signalling Systems [J] . Natsuki TERADA, Mitsuyoshi FUKUDA Quarterly Report of RTRI . 2002,第4期

机译：形式化方法在铁路信号系统中的应用
4. Formal Methods for Distributed Computing in Future Railway Systems [C] . Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen International symposium on leveraging applications of formal method, verification and validation . 2020

机译：在未来铁路系统中分布式计算的正式方法
5. A hybrid approach for derivation of tight execution time bounds of program-segments and service time bounds of simple object methods in real-time distributed computing systems. [D] . Im, Chansik. 2005

机译：一种用于在实时分布式计算系统中推导程序段的严格执行时间界限和简单对象方法的服务时间界限的混合方法。
6. Methodologies for Medical Computing. Date Bases and Management Database Management: Smart Files: A Method of Managing Non-Deterministic Data for Multi-Tasking and Distributed Systems [O] . Paul D. Keltz, Catherine N. Pfeil, Melanie H. Okawachi, 1983

机译：医学计算方法。日期基础和管理数据库管理：智能文件：一种用于管理多任务和分布式系统的不确定数据的方法
7. Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [O] . Bouajjani, Ahmed, Silva, Alexandra 2017

机译：分布式对象，组件和系统的形式技术：第37届IFIP WG 6.1国际会议，FORTE，作为第12届分布式计算技术国际联合会议的一部分，DisCoTec 2017，瑞士纳沙泰尔，2017年6月19日至22日，会议记录
8. Computing Science: Practical Formal Methods in Railways - The SafeCap Approach. [R] . Iliasov, A., Lopatkin, I., Romanovsky, A. 2014

机译：计算科学：铁路实用的形式化方法 - safeCap方法。

Formal Methods for Distributed Computing in Future Railway Systems

著录项

引文网络

相似文献

相关主题

期刊订阅