Login / Signup

Weighted propositional configuration logics: A specification language for architectures with quantitative features.

Paulina ParaponiariGeorge Rahonis
Published in: Inf. Comput. (2022)
Keyphrases
  • specification language
  • programming language
  • feature vectors
  • general purpose
  • formal specification
  • feature extraction
  • knowledge management