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]

Authors

Fernando Macias

This author has not been identified. Look up 'Fernando Macias' in Google

Torben Scheffel

This author has not been identified. Look up 'Torben Scheffel' in Google

Malte Schmitz 0001

This author has not been identified. Look up 'Malte Schmitz 0001' in Google

Rui Wang

This author has not been identified. Look up 'Rui Wang' in Google