Title: Formal Requirements Modeling for Simulation-Based Verification
Authors: Martin Otter, Nguyen Thuy, Daniel Bouskela, Lena Buffoni, Hilding Elmqvist, Peter Fritzson, Alfredo Garro, Audrey Jardin, Hans Olsson, Maxime Payelleville, Wladimir Schamai, Eric Thomas and Andrea Tundis
Links: Abstract, Full paper
Title: Towards Enhanced Process and Tools for Aircraft Systems Assessments during very Early Design Phase
Authors: Eric Thomas, Olivier Thomas, Raphael Bianconi, Matthieu Crespo and Julien Daumas
Links: Abstract, Full paper
