Search results
Design Automation for Embedded Systems > 2019 > 23 > 3-4 > 179-223
2016 17th Latin-American Test Symposium (LATS) > 165 - 170
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Verification and Validation > 78-89
IEEE Transactions on Circuits and Systems I: Regular Papers > 2015 > 62 > 8 > 1908 - 1917