Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by Nils Przigoda, Robert Wille, Judith Przigoda
ISBN 13: 9783319728131
Format: Hardcover (268 pages) Publisher: Springer Published: 31 Jan 2018
Save for later
High Performance Simulation for Industrial Paint Shop Applications
by Kevin Verma, Robert Wille
ISBN 13: 9783030716271
Format: Paperback (154 pages) Publisher: Springer Published: 30 Apr 2022
Introducing Design Automation for Quantum Computing
by Alwin Zulehner, Robert Wille
ISBN 13: 9783030417529
Format: Hardcover (232 pages) Publisher: Springer Published: 08 Apr 2020
Design Automation for Field-coupled Nanotechnologies
by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
ISBN 13: 9783030899516
Format: Hardcover (209 pages) Publisher: Springer Published: 11 Jan 2022