On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version

Paulo Salem da Silva, Ana Cristina Vieira de Melo. On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simulation, 89(8):977-1008, 2013. [doi]

Abstract

Abstract is missing.