Search results for: Robert Wille
Lecture Notes in Computer Science > Applications of Evolutionary Computation > EvoHOT Contributions > 151-161
Lecture Notes in Computer Science > Tests and Proofs > 152-170
Integration, the VLSI Journal > 2016 > 53 > C > 39-53
IFIP — The International Federation for Information Processing > VLSI-SoC: Advanced Topics on Systems on a Chip > 1-17
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Verification and Requirements Evaluation > 273-290
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 3 > 475 - 488