Erscheinungsjahr
Format
Lizenz
Sprache
Synonyme wurden verwendet für: Formal verification
Suche ohne Synonyme: keywords:("Formal verification")
Verwendete Synonyme:
- formale uberprufung
- formale verifikation
-
Formal Verification for Polynomial Datapaths Based on Weighted Generalized Lists
Tema Archiv | 2012|Schlagwörter: formale Überprüfung -
Sichere Integration von Teilsystemen zu System-of-Systems durch formale Verifikation
Tema Archiv | 2014|Schlagwörter: formale Verifikation -
Using soft systems methodology to improve requirements practices: an exploratory case study
IET | 2011|Schlagwörter: formal verification -
Specification and Verification: The Spec Experience
Tema Archiv | 2011|Schlagwörter: formale Verifikation -
Automatic Verification of Application-Tailored OSEK Kernels
DataCite | 2017|Schlagwörter: Formale Verifikation -
Compositional verification and 3-valued abstractions join forces
Tema Archiv | 2010|Schlagwörter: formale Verifikation -
BackRef: Accountability in Anonymous Communication Networks
Tema Archiv | 2014|Schlagwörter: formale Überprüfung -
Formal Verification of TASM Models by Translating into UPPAAL
Tema Archiv | 2012|Schlagwörter: formale Überprüfung -
REFINER: Towards Formal Verification of Model Transformations
Tema Archiv | 2014|Schlagwörter: formale Überprüfung -
Towards Verifying Voter Privacy through Unlinkability
Tema Archiv | 2013|Schlagwörter: formale Überprüfung -
The application of interoperability requirement specification and verification to collaborative processes in industry
Tema Archiv | 2012|Schlagwörter: formale Überprüfung -
Design validation of service delivery platform using modeling and simulation
Tema Archiv | 2009|Schlagwörter: formale Verifikation -
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
DeGruyter | 2020|Schlagwörter: Formale Verifikation, formal verification -
VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS
Tema Archiv | 2013|Schlagwörter: formale Überprüfung
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.