Login / Signup
Daniil Prohorov
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
High Bandwidth
Document Repository
Computer Aided Diagnosis
Cad Cam
Top Venues
MECO
</>
Publications
</>
Daniil Prohorov
,
Aleksandr Penskoi
Verification of the CAD System for an Application-Specific Processor by Property-Based Testing.
MECO
(2020)