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. Validation of evolving software. (2015) Editors: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha Record Type: Book Extent: 1 online resource (viii, 218 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers /: 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers. (2016) Editors: Ganty, Pierre; Loreti, Michele Other Names: TGC (Symposium), 10th Record Type: Book Extent: 1 online resource (ix, 163 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computer simulation validation : fundamental concepts, methodological frameworks, and philosophical perspectives /: fundamental concepts, methodological frameworks, and philosophical perspectives. (2019) Editors: Beisbart, Claus; Saam, Nicole J Record Type: Book Extent: 1 online resource (xiii, 1074 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗