A framework for comprehensive automated evaluation of concurrent online checkers

vastutusandmed
Pietro Saltarelli, Behrad Niazmand, Jaan Raik, Ranganathan Hariharan, Gert Jervan, Thomas Hollstein
ilmumiskoht
Los Alamitos
kirjastus/väljaandja
CPS
ilmumisaasta
leheküljed
p. 288-292 : ill
konverentsi nimetus, aeg
18th Euromicro Conference on Digital System Design DSD 2015, 26-28 August, 2015
konverentsi toimumispaik
Funchal, Madeira, Portugal
ISBN
978-1-4673-8035-5
märkused
Bibliogr.: 14 ref
TTÜ struktuuriüksus
keel
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