Blättern Naturwissenschaften, Mathematik und Informatik nach Betreuer & 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 ...