Amministrazione trasparente

Solvers for reactive synthesis for Linear Time Temporal Specification on Finite Traces (SPC: 2020-0070-1340-149927)

Codice bando: 2

Data pubblicazione: 08-01-2020
Data scadenza: 07-02-2020

Bando: AR 2_De Giacomo.pdf

Errata corrige

Errata corrige bando 2:2020.pdf

Verbale della seduta preliminare:

AR 2 - Verbale-riunione-preliminare.docx_.pdf

Allegati

Ar 2 Nomina commissione.pdf
Ar 2 approvazione atti.pdf

Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-

2020-0070-1340-149927