Integration of Runtime Verification into Metamodeling

TitleIntegration of Runtime Verification into Metamodeling
Publication TypeConference Paper
Year of Publication2016
AuthorsMacias, F, Scheffel, T, Schmitz, M, Wang, R, Leucker, M, Rutle, A, Stolz, V
Conference NameNordic Workshop on Programming Theory (NWPT)
PublisherAalborg 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: