![](/img/cover-not-exists.png)
[IEEE 2019 IEEE International Systems Conference (SysCon) - Orlando, FL, USA (2019.4.8-2019.4.11)] 2019 IEEE International Systems Conference (SysCon) - Category Theoretic Based Formalization of the Verifiable Design Process
Kibret, Nadew, Edmonson, William, Gebreyohannes, SolomonYear:
2019
Language:
english
DOI:
10.1109/syscon.2019.8836804
File:
PDF, 136 KB
english, 2019