1. Formal system verification : state-of the-art and future trends /: state-of the-art and future trends. ([2018]) Editors: Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Reconfigurable system design and verification. (2018) Other Names: Hsiung, Pao-Ann; Santambrogio, Marco D (Marco Domenico); Huang, Chun-Hsian Record Type: Book Extent: 1 online resource (268 pages), (22 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗