Tecniche e strumenti per la sintesi e la pianificazione di processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite

Data di aggiornamento: 02/07/2020 - 12:27
Tipologia bando: 
Assegni di ricerca
Codice bando: 
12
Data pubblicazione: 
Gio, 16/04/2020
Data scadenza: 
Sab, 16/05/2020
decreto approvazione atti: 
Riapertura termini: 
Sabato, 16 Maggio, 2020 to Giovedì, 21 Maggio, 2020
SPC: 
2020-0070-1340-161045
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002