Stage e Tesi disponibili su Verifica di Protocolli di Routing per reti Ad Hoc

  1. Home

Stage e Tesi disponibili su Verifica di Protocolli di Routing per reti Ad Hoc

Per farsi un'idea piu' precisa sugli argomenti trattati, il candidato puo' dare una lettura al seguente articolo
(http://profs.sci.univr.it/~merro/files/nfm2015.pdf)  apparso negli atti del congresso 
 "7th NASA Formal Method Sympoiusm 2015" (http://nasaformalmethods.org/). 

 
Publication date
Tuesday, May 19, 2015 - 3:34:46 PM
Last Modified
Tuesday, May 19, 2015- 3:46:03 PM
Subject
Stage e Tesi disponibili su Verifica di Protocolli di Routing per reti Ad Hoc
Published by
Massimo Merro
Share