• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An Analytic Evaluation of SystemC Encodings in Promela.

Daniele CampanaAlessandro CimattiIman NarasamdyaMarco Roveri
Published in: SPIN (2011)
Keyphrases
  • evaluation model
  • evaluation criteria
  • information retrieval
  • special case
  • evaluation method
  • evaluation methods
  • comparative evaluation