Zoekresultaten
Resultaat 1 - 3 (van 3)
S. Gnesi | Gabriele Lenzini | F. Martinelli Applying generalized non deducibility on compositions (GNDC) approach in dependability
Non-fictie
Engels | 13 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Gabriele Lenzini Integration of analysis techniques in security and fault-tolerance
Non-fictie
Engels | 196 pagina's | 2005
Gedrukt boek
Maurice ter Beek | Gabriele Lenzini | Marinella Petrocchi Team automata for security analysis
Non-fictie
Engels | 10 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek