5 Einträge gefunden

1. Security of multi-agent systems: A case study on comparison shopping

   1. Hutter, Dieter
   2. Mantel, Heiko
   3. Schaefer, Ina
   4. Schairer, Axel

   2006 - TUHH Open Research
2. Exploiting generic aspects of security models in formal developments

   1. Mantel, Heiko
   2. Schairer, Axel

   2005 - TUHH Open Research
3. 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
4. Towards an evolutionary formal software-development using CASL

   1. Autexier, Serge
   2. Hutter, Dieter
   3. Mantel, Heiko
   4. Schairer, Axel

   1999 - TUHH Open Research
5. System description: Inka 5.0 - a logic voyager

   1. Autexier, Serge
   2. Hutter, Dieter
   3. Mantel, Heiko
   4. Schairer, Axel

   1999 - TUHH Open Research