Research Field
- Dependable Systems Engineering
Mutation-based test-case generation for Event-B
- Schlick, R. (Autor)
- Thorsten Tarrach (Vortragender)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop