1. Model-driven design using IEC 61499 : a synchronous approach for embedded and automation systems /: a synchronous approach for embedded and automation systems. ([2014]) Authors: Yoong, Li Hsien; Roop, Partha S; Bhatti, Zeeshan E; Kuo, Matthew M. Y Record Type: Book Extent: 1 online resource (xviii, 194 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Separation logic for high-level synthesis. (2017) Authors: Winterstein, Felix Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗