Publications
syntactic model representations. STTT, 20(4):441–465, 2018. doi: 10.1007/s10009-017-0479-9 Jörg Brauer, Oliver Möller, and Jan Peleska. Testing avionics software: Is FMI up to the task? In Tiziana Margaria and [...] Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, and Andr´e Didier. COMPASS Tool Vision for a System of Systems [...] railway control system perspective. Electronic Communications of the EASST, 33, 2010 Jan Peleska and Oliver Schulz. Reliability analysis of safety-related communication architectures. In Erwin Schoitsch, editor