[IEEE 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013) - Yokohama (2013.1.22-2013.1.25)] 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC) - A computational model for SAT-based verification of hardware-dependent low-level embedded system software
Schmidt, B., Villarraga, C., Bormann, J., Stoffel, D., Wedler, M., Kunz, W.Year:
2013
Language:
english
DOI:
10.1109/aspdac.2013.6509684
File:
PDF, 142 KB
english, 2013