首页> 外文OA文献 >Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

【2h】

Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

机译：ERTMS的实施：一种基于形式化方法和针对法国国家法规的模拟方法

代理获取

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

页面导航

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

著录项

作者
Ferlin Antoine; Ben-Ayed Rahma; Sun Pengfei; Collart-Dutilleul Simon; Bon Philippe;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules [J] . Antoine Ferlin, Rahma Ben-Ayed, Pengfei Sun, Transportation Research Procedia . 2016,第4期

机译：ERTMS的实施：一种基于形式化方法和关于法国国家法规的模拟方法
2. Implementation trajectories of environmental education for sustainable development in formal, non-formal and informal education based on eduScrum project management methodology [J] . Natalya Ryazanova, Vladimir Naumov, Natalia Kamennykh E3S Web of Conferences . 2020,第10期

机译：基于Eduscrum项目管理方法的正规，非正规和非正规教育环境教育的实施轨迹
3. A COMPUTERIZED FORMAL MEANS TO REASON ABOUT COMPONENTS IN SIMULATION MODELS AND ENVIRONMENTS: Part Ⅰ: A Logic-Based Reasoning Methodology [J] . K. D. Reilly, J. H. Barrett, J. J. Tarng, Transactions of the Society for Modeling and Simulation International . 1995,第2期

机译：模拟模型和环境中构成要素的计算机化形式化方法：第一部分：基于逻辑的推理方法
4. Study of implementation of ERTMS with respect to french national rules using a B centred methodology [C] . Bon Philippe, Collart-Dutilleul Simon, Sun Pengfei International Conference on Industrial Engineering and Systems Management . 2013

机译：使用以B为中心的方法研究法国国家法规对ERTMS的实施
5. A model validation methodology for isolating inconsistent knowledge between fuzzy rule-based and quantitative models using fuzzy simulation [D] . Kim, Gyooseok 1998

机译：一种使用模糊模拟隔离基于规则的模糊模型和定量模型之间的不一致知识的模型验证方法
6. IV. Clinical Consultation Systems Medical Decision Support Systems and Clinical Research Data Bases: A. Medical Decision Support and Artificial Intelligence Methodologies: Automation of Formal Rules for Clinical Decision-Making Support Imbedded in an Information System [O] . R.H. Friedman, A.D. Frank 1981

机译：IV。临床咨询系统医疗决策支持系统和临床研究数据库：A.医疗决策支持和人工智能方法：信息系统中嵌入的临床决策支持形式规则的自动化
7. Methodology for Residential Building Energy Simulations Implemented in the International Code Compliance Calculator (IC3) [O] . Liu Z., Mukhopadhyay J., Malhotra M., 2008

机译：在国际法规遵从性计算器（IC3）中实施的住宅建筑能源模拟方法
8. Product Category Rules (PCR) for Building Products on an International Market. A Draft Based on Life Cycle Assessment (LCA) Methodology in Compliance with ISO 14025 [R] . Erlandsson, M., Lindfors, L. G., Ryding, S. O. 2005

机译：建筑产品在国际市场上的产品类别规则（pCR）。基于符合IsO 14025的生命周期评估（LCa）方法的草案

Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

著录项

引文网络

相似文献

相关主题

期刊订阅