@inproceedings{TUW-234752, author = {Gabmeyer, Sebastian}, title = {Quality Assurance in MBE Back and Forth}, booktitle = {Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings}, year = {2014}, editor = {Seidl, Martina and Tillmann, Nikolai}, pages = {78--81}, publisher = {Springer}, address = {LNCS, vol. 8570}, url = {http://publik.tuwien.ac.at/files/PubDat_234752.pdf}, isbn = {978-3-319-09098-6}, doi = {10.1007/978-3-319-09099-3}, keywords = {model based engineering, verification, model checking, OCL}, note = {Vortrag: International Conference on Tests and Proofs (TAP), York, UK; 2014-07-24 -- 2014-07-25} }