A kconfig translation to logic with one-way validation system

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

ISBN: 9781450371384

Año de publicación: 2019

Volumen: A

Congreso: Systems and Software Product Lines Conference

Tipo: Aportación congreso

DOI: 10.1145/3336294.3336313 GOOGLE SCHOLAR
Fuente de los datos: Scopus