Autor/in Mantel, Heiko Autexier, Serge 1 Gartner, Felix C. 1 Hutter, Dieter 1 Langenstein, Bruno 1 Rock, Georg 1 Schairer, Axel 1 Stephan, Werner 1 Vogt, Roland 1 Wolpers, Andreas 1 alle zeigenListe einklappen
VSE: formal methods meet industrial needs Autexier, Serge Hutter, Dieter Langenstein, Bruno Mantel, Heiko Rock, Georg Schairer, Axel Stephan, Werner 2000 - TUHH Open Research
A case study in the mechanical verification of fault tolerance Mantel, Heiko Gartner, Felix C. 2000 - TUHH Open Research