An Analytic Evaluation of SystemC Encodings in Promela.

Daniele Campana Alessandro Cimatti Iman Narasamdya Marco Roveri

Published in: SPIN (2011)

Keyphrases

evaluation model
evaluation criteria
information retrieval
special case
evaluation method
evaluation methods
comparative evaluation