Author:
Chen Xiangxian,Wang Dong,Huang Hai,Wang Zheng
Subject
Information Systems and Management,Computer Science Applications
Reference42 articles.
1. Safety-critical systems, formal methods and standards
2. An approach to automatic development of interlocking logic based on Statechart
3. Cloud manufacturing: a new manufacturing paradigm
4. European Standards. 1999.CELENEC EN 50126: Railway Applications – The Specification and Demonstration of Reliability,Availability,Maintainability and Safety (RAMS). Brussels: CELENEC.
5. European Standards. 2001.CELENEC EN 50128: Railway Applications – Communications,Signaling and Processing Systems – Software for Railway Control and Protection Systems. Brussels: CELENEC.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献