Search for dissertations about: "Ansgar Fehnker"

Found 1 swedish dissertation containing the words Ansgar Fehnker.

2. 1. Creating Correct Network Protocols

   Author : Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

   Abstract : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. READ MORE