Acht Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(1171) |
Wu, D.; Schnieder, E.: Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets. IEEE Transactions on Intelligent Transportation Systems. Volume: PP (Issue: 99), S. 1 - 17, März 2016. ( Kurzfassung ) |
(1165) |
Wu, D.; Schnieder, E.: Scenario-based system design with colored Petri nets: an application to train control systems. Software & Systems Modeling. , Februar 2016. |
(1131) |
Wu, D.: Verifiable Design of a Satellite-based Train Control System with Petri Nets. Dissertation, Technische Universität Braunschweig, Juli 2014. ( Kurzfassung | vollständige Publikation ) |
(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 ) |
(1076) |
Wu, D.; Schnieder, E.: Model-based Testing for the On-board Subsystem Model of a Satellite-based Train Control System with Coloured Petri Nets. WCRR 2013 - World Congress on Railway Research, Sydney, Australien, November 2013. ( Kurzfassung ) |
(1063) |
Wu, D.; Schnieder, E.; Krause, J.: Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model. ICIRT 2013 - IEEE International Conference on Intelligent Rail Transportation, Beijing, China, August 2013. ( Kurzfassung ) |
(1032) |
Lu, D.; Wu, D.; Schnieder, E.: Hazard Analysis for GNSS-based Train Localisation Unit with Model Based Approach According to EGNOS SoL and Railway RAMS. IAIN 2012 - 14th International Association of Institutes of Navigation Congress 2012, Cairo, Egypt, Oktober 2012. ( Kurzfassung ) |
(1058) |
Wu, D.; Schnieder, E.; Lu, D.; Manz, H.: Realistic Modelling of Train Control System with Coloured Petri Nets. CTS 2012 - 13-th IFAC Symposium on Control in Transportation Systems, Sofia, Bulgaria, September 2012. ( Kurzfassung ) |