Fünf Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(1177) |
Hosse, R. S.; Welte, J.; Becker, U.: Highlighting economic benefits by GNSS applications for railways. 11TH WORLD CONGRESS ON RAILWAY RESEARCH, Milano, Italy, Mai 2016. ( Kurzfassung ) |
(1125) |
Yurdakul, A.; Welte, J.; Schnieder, E.: Construction of a Consistent openETCS Tool Development Terminology by Modeling. FORMS/FORMAT 2014 – 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Deutschland, September 2014. ( Kurzfassung ) |
(1055) |
Spiegel, D.; Hosse, R. S.; Welte, J.; Schnieder, E.: Integration of Petri Nets into STAMP/CAST on the example of Wenzhou 7.23 accident. IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, Istanbul, Türkei, September 2013. |
(1079) |
Welte, J.; Manz, H.; Schnieder, E.; Becker, U.: Survey of formal model-based development of safety-critical software for railway applications. WCRR 2013 - World Congress on Railway Research, Sydney, Australien, November 2013. ( Kurzfassung ) |
(1040) |
Welte, J.; Schnieder, E.: Hybride Modellierung von menschlichem Adaptionsverhalten in Gefährdungsanalysen von Fahrerassistenzsystemen mit Petrinetzen und System Dynamics. AAET 2013 - Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel, Braunschweig, Deutschland, Februar 2013. ( Kurzfassung ) |