Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001)

  1. Home
  2. Ricerca
  3. Progetti
  4. Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001)
Data inizio
1 gennaio 2001
Durata (mesi) 
24
Responsabili (o referenti locali)
Priami Corrado
URL
2001011474_002

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal Dipartimento
Programma: COFIN - Progetti di Ricerca di Interesse Nazionale

Partecipanti al progetto

Matteo Cristani
Professore associato
Corrado Priami
Ugo Solitro
Ricercatore

Attività

Strutture

Condividi