[IEEE 2017 IEEE International High-Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA (2017.10.5-2017.10.6)] 2017 IEEE International High Level Design Validation and Test Workshop (HLDVT) - On generation of properties from specification
Devarajegowda, Keerthikumara, Ecker, WolfgangYear:
2017
Language:
english
DOI:
10.1109/hldvt.2017.8167470
File:
PDF, 730 KB
english, 2017