1. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗