Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems.

Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco

Browse the full DSN paper archive.