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

Fernando Macas, Torben Scheffel, Malte Schmitz, Rui Wang

Browse the full RV paper archive.