A framework for comprehensive automated evaluation of concurrent online checkers

statement of authorship
Pietro Saltarelli, Behrad Niazmand, Jaan Raik, Ranganathan Hariharan, Gert Jervan, Thomas Hollstein
location of publication
Los Alamitos
publisher
CPS
year of publication
pages
p. 288-292 : ill
conference name, date
18th Euromicro Conference on Digital System Design DSD 2015, 26-28 August, 2015
conference location
Funchal, Madeira, Portugal
ISBN
978-1-4673-8035-5
notes
Bibliogr.: 14 ref
TTÜ department
language
inglise
Saltarelli, P., Niazmand, B., Raik, J., Hariharan, R., Jervan, G., Hollstein, T. A framework for comprehensive automated evaluation of concurrent online checkers // Euromicro Conference on Digital System Design : DSD 2015 : 26-28 August 2015, Funchal, Madeira, Portugal : proceedings. Los Alamitos : CPS, 2015. p. 288-292 : ill. http://dx.doi.org/10.1109/DSD.2015.15