Publications
Wen-ling Huang and Jan Peleska. Complete model-based equivalence class testing. Software Tools for Technology Transfer, 18(3):265–283, 2016. doi: 10.1007/s10009-014-0356-8 Jan Peleska and Wen-ling Huang [...] control systems perspective. Sci. Comput. Program., 91:188–215, 2014 Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, and Linh Vu Hong. Complete model-based [...] Peleska, Johannes Feuser, and Anne E. Haxthausen. The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems, pages 22–52. IGI Global, June 2012 2011 Anne E. Haxthausen, Jan Peleska