Ter Beek Mh, Dubslaff C
Software Engineering Formal Languages and Automata Theory Logic in Computer Science
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.
Source: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. ii-iii
@book{oai:it.cnr:prodotti:488096, title = {Preface. Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23)}, author = {Ter Beek Mh and Dubslaff C}, year = {2023} }