Integration of Runtime Verification into Metamodeling
Title | Integration of Runtime Verification into Metamodeling |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Macias, F, Scheffel, T, Schmitz, M, Wang, R, Leucker, M, Rutle, A, Stolz, V |
Conference Name | Nordic Workshop on Programming Theory (NWPT) |
Publisher | Aalborg University, Denmark |
Bibtex:
@inproceedings {1246, title = {Integration of Runtime Verification into Metamodeling}, booktitle = {Nordic Workshop on Programming Theory (NWPT)}, year = {2016}, publisher = {Aalborg University, Denmark}, organization = {Aalborg University, Denmark}, author = {Fernando Macias and Torben Scheffel and Malte Schmitz and Rui Wang and Martin Leucker and Adrian Rutle and Volker Stolz} }
PDF: