Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders (bibtex)
by , ,
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}
}
Powered by bibtexbrowser