![](/img/cover-not-exists.png)
[IEEE 2018 Annual IEEE International Systems Conference (SysCon) - Vancouver, BC, Canada (2018.4.23-2018.4.26)] 2018 Annual IEEE International Systems Conference (SysCon) - Formalization of the responsive and formal design process using category theory
Gebreyohannes, Solomon, Edmonson, William, Esterline, AlbertYear:
2018
Language:
english
DOI:
10.1109/SYSCON.2018.8369508
File:
PDF, 839 KB
english, 2018