Verification Of Data-Intensive Embedded Systems.

Massimo Narizzano, Armando Tacchella

Browse the full ECMS paper archive.