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. Verification and validation of rule-based expert systems. (2018) Authors: Smith, Suzanne, 1953-; Kandel, Abraham Other Names: Taylor & Francis. Record Type: Book Extent: 1 online resource (203 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗