Autor/in Mantel, Heiko 5 Schairer, Axel Hutter, Dieter 4 Autexier, Serge 3 Langenstein, Bruno 1 Rock, Georg 1 Schaefer, Ina 1 Stephan, Werner 1 Vogt, Roland 1 Wolpers, Andreas 1 alle zeigenListe einklappen
Security of multi-agent systems: A case study on comparison shopping Hutter, Dieter Mantel, Heiko Schaefer, Ina Schairer, Axel 2006 - TUHH Open Research
Exploiting generic aspects of security models in formal developments Mantel, Heiko Schairer, Axel 2005 - TUHH Open Research
VSE: formal methods meet industrial needs Autexier, Serge Hutter, Dieter Langenstein, Bruno Mantel, Heiko Rock, Georg Schairer, Axel Stephan, Werner 2000 - TUHH Open Research
System description: Inka 5.0 - a logic voyager Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
Towards an evolutionary formal software-development using CASL Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research