Blättern nach: : Betreuer | Gutachter | Betreuer & Gutachter
    • Verification of Security Properties Using Formal Techniques 

      Al-Shadly, Saleh (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 ...