A kconfig translation to logic with one-way validation system

  1. Fernandez-Amoros, D.
  2. Heradio, R.
  3. Mayr-Dorn, C.
  4. Egyed, A.
Actes:
Systems and Software Product Lines Conference - ACM International Conference Proceeding Series

ISBN: 9781450371384

Any de publicació: 2019

Volum: A

Congrés: Systems and Software Product Lines Conference

Tipus: Aportació congrés

DOI: 10.1145/3336294.3336313 GOOGLE SCHOLAR

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus