„Verifikation“

Suchergebnisse

1.000+ Treffer

• Kontroll- und Verifikationsmöglichkeiten der Finanzverwaltung im Zeichen der Digitalisierung
  Kälberer, Daniel René 2025 Tectum Verlag
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• MASSIVE – Modellsynthese aus sequenzbasierten Verhaltensanforderungen zur modellbasierten Testfallgenerierung
  2020 Deutsche Forschungsgesellschaft für Automatisierung und Mikroelektronik e.V. (DFAM)
• Vertikalmaschinendynamik – Entwicklung und Verifikation von Berechnungs-algorithmen und -verfahren für die Analyse der dynamischen Eigenschaften von Maschinen und Maschinensträngen mit vertikalem Rotor
  2019 Forschungsvereinigung Verbrennungskraftmaschinen (FVV) e.V.
• Validierung & Verifizierung im Lebensmittelunternehmen – praxisnah - sicher - verständlich
  Lehrke, Matthias 2025 Behr's Verlag
• Towards an Isabelle theory for distributed, interactive systems
  Bürger, Jens Christoph ; Stüber, Sebastian ; Raco, Deni ; Rumpe, Prof. Dr. rer. nat. Bernhard ; Kausch, Hendrik ; Ringert, Jan Oliver ; Wiartalla, Marc 2020 Shaker Verlag
• ESG-Verifikation zur EU-Taxonomie
  2024 DGNB GmbH
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
  Spisländer, Marc ; Freiling, Felix C. ; Saglietti, Francesca 2018 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Integrated formal methods – 7th international conference ; proceedings
  Leuschel, Michael 2009 Springer
• Der Bau der Cheops-Pyramide – Analyse, Modellentwicklung und Verifikation
  Fischer, Günter 2026 Mons Verlag
• Einsatz von Process-Mining zur Verifikation und Validierung von Simulationsmodellen in Produktion und Logistik
  Özkul, Felix ; Sutherland, Robin ; Wenzel, Sigrid ; Spieckermann, Sven 2023 TU Ilmenau
• Entwurf und Entwicklung virtuell erweiterter Testfelder zur Erprobung hochautomatisierten Fahrens im urbanen Umfeld
  Zofka, Marc ; Zoellner, J. Marius ; Düser, Tobias 2025 KIT-Bibliothek
• Dynamic Verifiable Mixed Criticality Scheduling-Framework for Intelligent Infrastructure-Systems
  Kuhn, Juri Karl-Josef ; Baumgarten, Uwe ; Ferscha, Alois 2025 Universitätsbibliothek der TU München
• Formal software engineering of distributed systems using focus-streams and automata
  Stüber, Sebastian ; Rumpe, Bernhard ; Grosu, Radu 2025 Universitätsbibliothek der RWTH Aachen
• Formally Verified Solution Methods for Markov Decision Processes
  Schäffeler, Maximilian ; Nipkow, Tobias ; Kretinsky, Jan 2025 Universitätsbibliothek der TU München
• Verification of Derandomized Probabilistic Algorithms
  Karayel, Muhammed Emin ; Nipkow, Tobias ; Thiemann, René ; Kiam, Tan Yong 2025 Universitätsbibliothek der TU München
• Strategien zur Erkennung von KI-generierten Deepfakes mit deren Integration in biometrische Analysen für forensische Identifikation und Verifikation
  Claus, Colin ; Labudde, Dirk ; Knabe, Lars Martin 2025 Hochschule Mittweida
• System Analysis and Modeling: Theory and Practice – 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
  Haugen, Øystein ; Reed, Rick ; Gotzhein, Reinhard 2013 Springer Berlin Heidelberg
• Methode zur Verifizierung und Validierung von Finite-Elemente-Berechnungen des Rad-Schiene-Normalkontakts
  Dörner, Florian 2016 Technische Universität Kaiserslautern