Seite 2 von 3.
Heiko Mantel
In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …
In: F.Cuppens; Y.Deswarte; D.Gollmann; M.Waidner (Hrsg.). European Symposium on Research in Computer Security (ESORICS). European Symposium on …
Heiko Mantel; Felix Gärtner
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 12, No. 4, Pages 473-488, Taylor & Francis, 10/2000.
In: Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cambridge, Pages 185-199, IEEE …
Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.
Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan
In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …
In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research …
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development …
Heiko Mantel; Jens Otten
In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …