Search results for: Wolfgang Kunz
Journal of Electronic Testing > 2017 > 33 > 1 > 77-92
Lecture Notes in Computer Science > Computer Aided Verification > Session 13: Hardware Verification II > 473-486
Lecture Notes in Computer Science > Field Programmable Logic and Applications > Short Papers > 532-537
2016 17th Latin-American Test Symposium (LATS) > 153 - 158
Lecture Notes in Electrical Engineering > Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s > Assertion Based Design, Verification & Debug > 197-212
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Verification and Requirements Evaluation > 257-272
Advanced Formal Verification > 77-123
Advanced Formal Verification > 77-123
BMC Research Notes > 2015 > 8 > 1 > 1-4