Browsing Fakultät für Mathematik und Informatik (inkl. GAUSS) by Referee "Eckart, Modrow Prof. Dr."
Now showing items 1-1 of 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 ...