Autor/in Hutter, Dieter Mantel, Heiko Schairer, Axel 4 Autexier, Serge 3 Rock, Georg 2 Stephan, Werner 2 Wolpers, Andreas 2 Balser, Michael 1 Langenstein, Bruno 1 Reif, Wolfgang 1 Schaefer, Ina 1 Schellhorn, Gerhard 1 Stenzel, Kurt 1 Vogt, Roland 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
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
VSE: Controlling the complexity in formal software developments Hutter, Dieter Mantel, Heiko Rock, Georg Stephan, Werner Wolpers, Andreas Balser, Michael Reif, Wolfgang 1998 - TUHH Open Research