搜索结果: 1-3 共查到“安全科学技术 .NET”相关记录3条 . 查询时间(0.062 秒)
Analysis of the Schiphol Cell Complex fire using a Bayesian belief net based model
Bayesian belief networks Fire safety Schiphol Cell Complex
2012/4/22
In the night of the 26 and 27 October 2005, a fire broke out in the K-Wing of the Schiphol Cell Complex near Amsterdam. Eleven of 43 occupants of this wing died due to smoke inhalation. The Dutch Safe...
Verification of the safety communication protocol in train control system using colored Petri net
EURORADIO The safety communication protocol Colored petri net Verification
2012/4/16
This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishmen...
EUROSH*NET Survey 1997
EUROSH*NET Survey
2014/4/28
This report concentrates on co-operation between Central and Eastern European Countries and Western European Countries, but includes some information given on activities with countries of the Former S...