|
|
2000
- Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, Special Issue on Mechanized Theorem Proving for Technology (STTT), Vol. 3, No. 1, Pages 66-77, Springer Verlag, Berlin, Heidelberg, 2000.
- Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
Formal Software Development in the Verification Support Environment.
In: Journal of Experimental and Theoretical Artificial Intelligence, 2000.
- Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
Formal Software Development in the Verification Support Environment (VSE).
In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). Pages 367-376, AAAI-Press, 2000.
- Bruno Langenstein; Markus Ullmann; Roland Vogt
The Use of Formal Methods for Trusted Digital Signature Devices.
In: Proc. 13th Intern. FLAIRS Conf. AAAI Press, 2000.
|
|
