[Zurück]

@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}
}