Home > Publications > Publikationen

Publikationen

Holtmann, Jörg;Meyer, Jan;von Detten, Markus:

Automatic Validation and Correction of Formalized, Textual Requirements.

In: Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2011, pp. 486-495, 2011, IEEE Computer Society

Weblink

http://dx.doi.org/10.1109/ICSTW.2011.17

Bibtex

@inproceedings{key=HMvD11,
author = {Holtmann, J{\"o}rg and Meyer, Jan and von Detten, Markus},
title = {Automatic Validation and Correction of Formalized, Textual Requirements},
booktitle = {Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2011},
pages = {486-495},
publisher = {IEEE Computer Society},
year = {2011},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/6779