I.L.O. "UETP Alma Mater" - Università of Bologna


Numero scheda

202

Titolo

Sistemi Operativi | Autonomic Computing | Intelligenza Artificiale

Settore

Informatica

Descrizione

- Specifica e verifica di protocolli di interazione.
- Applicazione al settore dei protocolli clinici.
- Sistemi operativi per la virtualizzazione.
Applicazioni:
- metodi di verifica automatica di protocolli e proprietÓ associate a protocolli;
- metodi per il self-management di sistemi di elaborazione virtualizzati;
- possibilitÓ di integrazione delle metodologie sviluppate in prodotti software.




I.L.O. "UETP Alma Mater" - Università di Bologna
Tel.: +39 051 2098138 / 2098137
Fax.: 051 2098129
Email: miretta.giacometti@unibo.it

Stampa questa pagina