Publications
Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, and Jan Peleska. Modelbased testing from controlled natural language requirements. In Cyrille Artho and Peter Csaba Ölveczky, editors, Formal Techniques [...] ic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains In Cyrille Artho and Peter Ölveczky, editors, Proceedings3 of the FTSCS ’23, October 22, 2023, Cascais, Portugal, volume 14155 [...] 32–49, 2016. ISBN 978-3-319-47168-6. doi: 10.1007/978-3-319-47169-3_4 2015 Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, and Jan Peleska. Systems of systems engineering: Basic