Search results for: Rupert Schlick
Software Quality Journal > 2019 > 27 > 2 > 757-795
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOGENTES Project > 186-207
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > 6th FP Integrated Project DECOS > 358-371
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Poster Session > 270-283
Software Testing, Verification and Reliability > 25 > 8 > 716 - 748