Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems.

Abhishek Kumar Mishra, Anup Das, Nagarajan Kandasamy

Browse the full PRDC paper archive.