Verification approach based on emulation technology.

Arkadiusz Koczor, Lukasz Matoga, Piotr Penkala, Adam Pawlak

Browse the full DDECS paper archive.