Agenda

Título: Integración de síntesis reactiva simbólica en MTSA mediante controladores generados por Spectra Director: Hernán Gagliardi Jurados: Florencia Zanollo, Sebastian Uchitel Resumen Esta tesis estudia la integración entre MTSA y Spectra para incorporar capacidades de síntesis reactiva simbólica dentro de un flujo basado en modelos LTS. En particular, se [...]