Login / Signup

Automatic generation of self-adaptive transactors from PSL assertions.

Florenc DemroziGraziano PravadelliFrancesco Stefanni
Published in: FDL (2016)
Keyphrases
  • automatically generate
  • knowledge base
  • english text
  • control parameters
  • automatically generated
  • fuzzy pid control
  • search engine
  • case study
  • objective function
  • automatically generating