Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)

Fernando Macias, Torben Scheffel, Malte Schmitz 0001, Rui Wang. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). In Yliès Falcone, César Sánchez, editors, Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Volume 10012 of Lecture Notes in Computer Science, pages 454-461, Springer, 2016. [doi]

@inproceedings{MaciasS0W16,
  title = {Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)},
  author = {Fernando Macias and Torben Scheffel and Malte Schmitz 0001 and Rui Wang},
  year = {2016},
  doi = {10.1007/978-3-319-46982-9_29},
  url = {http://dx.doi.org/10.1007/978-3-319-46982-9_29},
  researchr = {https://researchr.org/publication/MaciasS0W16},
  cites = {0},
  citedby = {0},
  pages = {454-461},
  booktitle = {Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings},
  editor = {Yliès Falcone and César Sánchez},
  volume = {10012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-46981-2},
}