Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders.

Gregor Gabrysiak, Regina Hebig, Holger Giese

Browse the full WETICE paper archive.