Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

Preface. Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23)

Edited Book
Publication Date:
2023
abstract:
The analysis of configurable systems, i.e., systems those behaviors depend on parameters or support various features, is challenging due to the exponential blowup arising in the number of configuration options. This volume contains the post-proceedings of TiCSA 2023, the first workshop on Trends in Configurable Systems Analysis, where current challenges and solutions in configurable systems analysis were presented and discussed.
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Software Engineering; Formal Languages and Automata Theory; Logic in Computer Science
List of contributors:
TER BEEK, MAURICE HENRI
Authors of the University:
TER BEEK MAURICE HENRI
Handle:
https://iris.cnr.it/handle/20.500.14243/436531
Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/436531/157984/prod_488096-doc_202944.pdf
Published in:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Journal
  • Overview

Overview

URL

https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?TiCSA2023
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)