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