Michael Lipaczewski, Marco Filax, Frank Ortmeier: Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis. In: European Conference on Software Engineering Education. - Herzogenrath : Shaker, S. 217-228, 2014.

Abstract

    BibTeX (Download)

    @inproceedings{FODB:80901605,
    title = {Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis},
    author = { Michael Lipaczewski and Marco Filax and Frank Ortmeier},
    year  = {2014},
    date = {2014-01-01},
    booktitle = {European Conference on Software Engineering Education. - Herzogenrath : Shaker},
    pages = {217-228},
    keywords = {model-based, VECS},
    pubstate = {published},
    tppubtype = {inproceedings}
    }