首页> 外文OA文献 >Precise Definition of the Single-track Level Crossing in Radio-based Operation in UML Notation and Specification of Safety Requirements

【2h】

Precise Definition of the Single-track Level Crossing in Radio-based Operation in UML Notation and Specification of Safety Requirements

机译：UmL表示法中无线电操作中单轨电平交叉的精确定义和安全要求规范

页面导航

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

著录项

作者
Saeid Arabestani; Friedemann Bitsch; Jan-tecker Gayen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Adding Technological Solutions for Safety Improvement at Level Crossings: A Functional Specification [J] . Khaled Bahloul, Fran?ois Defossez, Mohamed Ghazel, Procedia - Social and Behavioral Sciences . 2012,第2期

机译：添加技术解决方案以改善平交路口的安全性：功能规范
2. Enhancing the usability of a task analysis method: a notation and environment for requirements specification [J] . Thomas C. Ormerod, Juliet Richardson, Andre Shepherd Ergonomics . 1998,第11期

机译：增强任务分析方法的可用性：需求规范的符号和环境
3. Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements [J] . KOJI IWATA Quarterly reports of RTRI . 2013,第2期

机译：基于列车控制系统安全要求的系统要求规格验证方法
4. Tight Structuring for Precise UML-Based Requirement Specifications [C] . Egidio Astesiano, Gianna Reggio International Workshop on Radical Innovations of Software and Systems Engineering in the Future . 2004

机译：基于UML的精确要求规格的紧密结构
5. Stimulus response requirements specification notation: An empirically evaluated requirements specification notation. [D] . Cooper, Kendra M. L. 2001

机译：刺激响应需求规范符号：一种通过经验评估的需求规范符号。
6. Biosafety and Biohazards: Understanding Biosafety Levels and Meeting Safety Requirements of a Biobank [O] . Lisa Ta, Laura Gosa, David A. Nathanson -1

机译：生物安全和生物危害：了解生物安全水平并满足生物库的安全要求
7. Safety Analysis Of A Radio-Based Crossing Control System Using Formal Methods [O] . Wolfgang Reif, Gerhard Schellhorn, Andreas Thums, 2000

机译：基于形式化方法的无线电交叉控制系统安全性分析
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

Precise Definition of the Single-track Level Crossing in Radio-based Operation in UML Notation and Specification of Safety Requirements

著录项

引文网络

相似文献

相关主题

期刊订阅