Spreadsheet-based Configuration of Families of Real-Time Specifications

José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
January 2023
PDF Project Project Project TiCSA@ETAPS'23 Slides Uppex tool
Type
Conference paper
Publication
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA, 2023, Paris, France, co-located with ETAPS 2023
Ibex VALU3S Route25

Related