Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Formal Methods for Wireless Systems
2010-01-01 Sibilio, Eleonora
A calculus of trustworthy ad hoc networks
2010-01-01 Merro, Massimo; Sibilio, Eleonora
A timed calculus for wireless systems
2010-01-01 Merro, Massimo; Sibilio, Eleonora
A Timed calculus of wireless systems
2011-01-01 Merro, Massimo; F., Ballardin; Sibilio, Eleonora
A calculus of trustworthy ad hoc networks
2013-01-01 Merro, Massimo; Sibilio, Eleonora
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Methods for Wireless Systems | 1-gen-2010 | Sibilio, Eleonora | |
A calculus of trustworthy ad hoc networks | 1-gen-2010 | Merro, Massimo; Sibilio, Eleonora | |
A timed calculus for wireless systems | 1-gen-2010 | Merro, Massimo; Sibilio, Eleonora | |
A Timed calculus of wireless systems | 1-gen-2011 | Merro, Massimo; F., Ballardin; Sibilio, Eleonora | |
A calculus of trustworthy ad hoc networks | 1-gen-2013 | Merro, Massimo; Sibilio, Eleonora |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile