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:
