Yazar
Marinella Petrocchi
4 cilt bulundu.
Cilt sonuçları
Aspects of Modeling and Verifying Secure Procedures
Marinella Petrocchi, Università di Pisa. : Dipartimento di ingegneria dell'informazione · Yayınevi bilinmiyor
200 sayfa · 2005
Kategori yok
Team Automata for Security Analysis
Maurice Henri ter Beek, Gabriele Lenzini, Marinella Petrocchi · Yayınevi bilinmiyor
10 sayfa · 2004
Kategori yok