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},
url = {https://doi.org/10.2370/9783844030679},
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}
}