Formalization of the responsive and formal design process using category theory

Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline. Formalization of the responsive and formal design process using category theory. In 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018. pages 1-8, IEEE, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.