Stefan Wittmann

Publication Activity (10 Years)

Years Active: 1987-2005
Publications (10 Years): 0

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Thomas Wedi, Stefan Wittmann
Quantization offsets for video coding. ISCAS (1) (2005)
Stefan Wittmann, Peter Daniel
Safety and Security of IT-Systems - A Necessary Dilemma? ISAS-SCI (1) (2001)
Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP (2000)
Frank Koob, Markus Ullmann, Stefan Wittmann
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. FM-Trends (1998)
Frank A. Koch, Markus Ullmann, Stefan Wittmann
Verification Support Environment. CAV (1996)
Frank Koob, Markus Ullmann, Stefan Wittmann
Application of Formal Methods in the Scope of IT-Security. SAFECOMP (1996)
Matthias Schumann, Stefan Wittmann
Expertensysteme zur Unterstützung der Wirtschaftsprüfer-Berichterstellung. Inform. Forsch. Entwickl. 2 (2) (1987)