Formalization of the responsive and formal design process using category theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Solomon Gebreyohannes' in GoogleThis author has not been identified. Look up 'William W. Edmonson' in GoogleThis author has not been identified. Look up 'Albert C. Esterline' in Google

runs on WebDSL