Vier Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(1128) |
Wu, D.; Zheng, W.; Schnieder, E.: Scenario-based Modelling and Model Checking of Train Control Systems with Coloured Petri Nets. FORMS/FORMAT 2014 – 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Deutschland, September 2014. ( Kurzfassung ) |
(927) |
Müller, J. R.; Zheng, W.; Schnieder, E.: The improvement of the Safety-Case process in practice – from problems and promising approach to highly automated safety case guidance. Comprail 2010 - 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing, September 2010. ( Kurzfassung ) |
(926) |
Zheng, W.; Müller, J. R.; Tang, T.: The derivation of safety requirements for the control systems based on the interoperability property of Maglev train. Comprail 2010 - 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing, September 2010. ( Kurzfassung ) |
(817) |
Zheng, W.; Müller, J. R.; Slovák, R.; Schnieder, E.: Estimation of Traffic Risk of Passive Level Crossing Based on Stochastic Petri Net Models and Social Economic Data. In: Monash University, Institute of Transport Studies, Hrsg.: Symposium Proceedings, Queensland, Australia, August 2008. Third International Symposium on Transport Simulation 2008 (ISTS). |