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

Gabrysiak, Gregor; Hebig, Regina; Giese, Holger

by Gregor Gabrysiak, Regina Hebig, Holger Giese

Reference:

Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders (Gregor Gabrysiak, Regina Hebig, Holger Giese), In 21st IEEE International WETICE conference (WETICE-2012) (Sumitra Reddy, Khalil Drira, eds.), IEEE, 2012.

Bibtex Entry:

@InProceedings{Gabrysiak_Hebig_Giese:2012,
AUTHOR = {Gabrysiak, Gregor and Hebig, Regina and Giese, Holger},
TITLE = {{Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders}},
YEAR = {2012},
MONTH = {June},
BOOKTITLE = {21st IEEE International WETICE conference (WETICE-2012)},
PAGES = {220-225},
EDITOR = {Reddy, Sumitra and Drira, Khalil},
ADDRESS = {Toulouse, France},
PUBLISHER = {IEEE},
PDF = {uploads/pdf/Gabrysiak_Hebig_Giese:2012_GHG12---Simulation-AssistedElicitationValidation(IEEE).pdf},
OPTacc_pdf = {}
}