4 Einträge gefunden

1. VSE: formal methods meet industrial needs

   1. Autexier, Serge
   2. Hutter, Dieter
   3. Langenstein, Bruno
   4. Mantel, Heiko
   5. Rock, Georg
   6. Schairer, Axel
   7. Stephan, Werner

   2000 - TUHH Open Research
2. Possibilistic definitions of security-an assembly kit

   1. Mantel, Heiko

   2000 - TUHH Open Research
3. A case study in the mechanical verification of fault tolerance

   1. Mantel, Heiko
   2. Gartner, Felix C.

   2000 - TUHH Open Research
4. Unwinding possibilistic security properties

   1. Mantel, Heiko

   2000 - TUHH Open Research