Dokumente Fakultät für Mathematik und Informatik (inkl. GAUSS) nach Gutachter "Eckart, Modrow Prof. Dr."
Anzeige 1-1 von 1
-
Verification of Security Properties Using Formal Techniques
(2014-02-12)Nowadays, the necessity of developing collaborative and distributed computing systems makes networks, and specially Internet, the key element of the system design process. Several new applications have been appeared in ...