Search results for: Helene Waeselynck
Robotics and Autonomous Systems > 2017 > 94 > C > 43-52
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 7-22
Lecture Notes in Computer Science > Dependable Computing — EDCC-3 > Session 10: Software Testing and Self-Checking > 401-418
IFIP — The International Federation for Information Processing > Building the Information Society > Open-Source Software in Dependable Systems > 667-677
Software & Systems Modeling > 2011 > 10 > 4 > 489-514
Empirical Software Engineering > 2007 > 12 > 1 > 35-63