Login / Signup
F. J. S. Macário
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Hardware Designs
Decomposition Methods
Constraint Satisfaction Problems
Automatically Generate
Top Venues
SBMF
</>
Publications
</>
F. J. S. Macário
,
Marcel Vinícius Medeiros Oliveira
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.
SBMF
(2015)