A methodology for automated mining of compact and accurate assertion sets
statement of authorship
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
source
2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27
publisher
year of publication
pages
7 p. : ill
conference name, date
2021 IEEE Nordic Circuits and Systems Conference (NorCAS), October 26-27
conference location
Oslo, Norway
url
ISBN
978-1-6654-0712-0
notes
Bibliogr.: 27 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
classifier
Heidari Iman, M.R., Raik, J., Jenihhin, M., Jervan, G., Ghasempouri, T. A methodology for automated mining of compact and accurate assertion sets // 2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27. : IEEE, 2021. 7 p. : ill.