Login / Signup
A Categorical Approach to Verifying Concurrency Between Design and Implementation.
Ming Zhu
Peter Grogono
Olga Ormandjieva
Heng Kuang
Published in:
J. Ubiquitous Syst. Pervasive Networks (2017)
Keyphrases
</>
implementation issues
building blocks
efficient implementation
design methodology
parallel distributed
design process
artificial intelligence
e learning
hardware implementation
current status
hardware design
architectural design