1. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗