首页> 外文OA文献 >Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems:FM-RAIL-BOK Workshop 2013

【2h】

Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems:FM-RAIL-BOK Workshop 2013

机译：迈向铁路控制和安全系统的正式方法知识体系：Fm-RaIL-BOK研讨会2013

代理获取

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

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Methods and their Applications to Safety-Critical Systems of Railways [J] . Takahiko OGINO, Yuji HIRAO Quarterly Report of RTRI . 1995,第4期

机译：形式方法及其在铁路安全关键系统中的应用
2. Safety-critical design for secure systems: Safety critical programs require a comprehensive approach, that combines the use of specialized languages and tools, rigorously controlled testing, and the use of formal methods [J] . Robert B. K. Dewar Embedded Systems Europe . 2006,第75期

机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
3. Formal methods for railway control systems [J] . Alessandro Fantechi, Francesco Flammini, Stefania Gnesi International Journal on Software Tools for Technology Transfer . 2014,第6期

机译：铁路控制系统的正式方法
4. Modelling safety monitors of safety-critical railway systems by formal methods [C] . Cai H., Wu W.H., Zhang C.D., IET Conference on Railway Condition Monitoring . 2014

机译：通过形式化方法对关键安全铁路系统的安全监控器建模
5. Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework. [D] . Abbate, Andrew J. 2017

机译：安全关键系统的基于模型的可用性分析：正式方法框架。
6. Cluster equilibrium scheduling method based on backpressure flow control in railway power supply systems [O] . Zhijian Qu, Hanxin Liu, Hanlin Wang, 2020

机译：基于铁路电源系统的背压流量控制的簇平衡调度方法
7. Combining Semi-formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems [O] . Mohamed Naija, Rihab Khemiri, Ernesto Exposito 2020

机译：结合半正规和正式方法，以便在自动流动性按需系统中进行安全控制

Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems:FM-RAIL-BOK Workshop 2013

著录项

引文网络

相似文献

相关主题

期刊订阅