Suche
103366 Treffer
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Hochschule Worms
×
Theologische Fakultät Trier
- EnTrust (Teilprojekt 3: Erklärbarkeit)
- Sofronie-Stokkermans, Viorica ; (ab 2019)
- Jürjens, Jan
- Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
- Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007
- Jacobs, Swen; Sofronie-Stokkermans, Viorica
- Applications of Hierarchical Reasoning in the Verification of Complex Systems 3
- Electronic Notes in Theoretical Computer Science. Bd. 174. H. 8. Amsterdam: Elsevier 2007 S. 39 - 54
- Harbusch, Karin; Rothkegel, Annely
- "PROLID": Ein Programmpaket zur Rollenidentifikation
- H. 8. Saarbrücken: Universität des Saarlandes 1984
- Bauks, Michaela
- Menschenopfer in den Mittelmeerkulturen
- Verkündigung und Forschung. Bd. 56. H. 2. Gütersloh: Kaiser 2011 S. 33 - 44
- Harbusch, Karin
- An Integrated Generation Approach with Tree Adjoining Grammars
- 1992 S. 19.1 - 19.3
- Jürjens, Jan
- Model-based vs. Code-based Verification for Critical Systems: A Tutorial
- Models 2008 tutorial. 2008
- Jürjens, Jan
- Model-based Security Testing Using UMLsec: A Case Study.
- Electr. Notes Theor. Comput. Sci. Bd. 220. H. 1. 2008 S. 93 - 104
- Ahlrichs, Ulrike; Fischer, Julia; Denzler, Joachim et al.
- Knowledge Based Image and Speech Analysis for Service Robots
- Ramin Zabih (Hrsg). Integration of Speech and Image Understanding: Workshop held at the 7th International Conference on Computer Vision ICCV 1999: 21 September 1999; Corfu, Greece. Los Alamitos, CA: IEEE Computer Society 1999 S. 21 - 47
- Paulus, Dietrich; Ahlrichs, Ulrike; Heigl, Benno et al.
- Active Knowledge-Based Scene Analysis
- Henrik I. Christensen (Hrsg). Computer Vision Systems: First International Conference, ICVS’ 99 Las Palmas, Gran Canaria, Spain, January 13–15, 1999 Proceedings. Berlin: Springer 1999 S. 180 - 199