Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

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

Curatela
Data di Pubblicazione:
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.
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Software Engineering; Formal Languages and Automata Theory; Logic in Computer Science
Elenco autori:
TER BEEK, MAURICE HENRI
Autori di Ateneo:
TER BEEK MAURICE HENRI
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/436531
Link al Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/436531/157984/prod_488096-doc_202944.pdf
Pubblicato in:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Journal
  • Dati Generali

Dati Generali

URL

https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?TiCSA2023
  • Utilizzo dei cookie

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