Login / Signup
Automatic generation of self-adaptive transactors from PSL assertions.
Florenc Demrozi
Graziano Pravadelli
Francesco 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