Roland Vogt (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Bruno Langenstein, Roland Vogt, Markus Ullmann: The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference 2000: 336-340

3 Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)

2 Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)

Selection of 3 from 6 records - Roland Vogt has 15 coauthors

5		Bruno Langenstein, Roland Vogt, Markus Ullmann: The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference 2000: 336-340
3		Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
2		Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)