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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.