Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes. Category Theoretic Based Formalization of the Verifiable Design Process. In 2019 IEEE International Systems Conference, SysCon 2019, Orlando, FL, USA, April 8-11, 2019. pages 1-8, IEEE, 2019. [doi]
@inproceedings{KibretEG19,
title = {Category Theoretic Based Formalization of the Verifiable Design Process},
author = {Nadew Kibret and William W. Edmonson and Solomon Gebreyohannes},
year = {2019},
doi = {10.1109/SYSCON.2019.8836804},
url = {https://doi.org/10.1109/SYSCON.2019.8836804},
researchr = {https://researchr.org/publication/KibretEG19},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {2019 IEEE International Systems Conference, SysCon 2019, Orlando, FL, USA, April 8-11, 2019},
publisher = {IEEE},
isbn = {978-1-5386-8396-5},
}