Software organization and properties

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Software organization and properties
Massimo Merro
Professore ordinario
Competenze
Argomento Persone Descrizione
Verifica di protocolli di rete wireless Massimo Merro
Tecniche semantiche e di model checking, anche statistico, per la verifica della correttezza di protocolli di reti wireless.

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi