Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ai-ai Guan"'
Publikováno v:
Enterprise Information Systems. 7:354-374
Railway signalling system is a safety-critical system to ensure railway safety and its development cost is huge. It is of great economic value to apply the generic signalling systems in different environments through configuration of different applic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7f38a6a0f6b4eead1aef67f594273af
https://doi.org/10.1080/17517575.2012.705021
https://doi.org/10.1080/17517575.2012.705021
Publikováno v:
2014 International Conference on Information Science, Electronics and Electrical Engineering.
Automatic Train Protection (ATP) system is a safety-critical system; it is widely used to ensure trains running safely. During its development lifecycle, there are many safety problems which are derived from the requirements. In order to make descrip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df631ba93bd7d00d7871184ee85023c1
https://doi.org/10.1109/infoseee.2014.6947759
https://doi.org/10.1109/infoseee.2014.6947759