Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.

Simon Thrane Hansen, Cludio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock

Browse the full FMICS paper archive.