Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Electronics, 10, (21), MDPI, https://doi.org/10.26083/tuprints-00020072
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek
- (wann)
-
2022
- Urheber
-
Ismail, Khaled A.
Ghany, Mohamed A. Abd El
- DOI
-
10.26083/tuprints-00020072
- URN
-
urn:nbn:de:tuda-tuprints-200728
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ismail, Khaled A.
- Ghany, Mohamed A. Abd El
- Universitäts- und Landesbibliothek
Entstanden
- 2022
Ähnliche Objekte (12)
MIZAR verification of generic algebraic algorithms
Privacy enhancing technologies : protocol verification, implementation and specification
Lectures on proof verification and approximation algorithms
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Enhancing stock market anomalies with machine learning
Optimization Algorithms for Machine Learning
Machine vision algorithms and applications
Optimization algorithms for machine learning
Machine vision algorithms and applications
Verification of reactive systems : formal methods and algorithms
Stratified commutativity in verification algorithms for concurrent programs
MIZAR verification of generic algebraic algorithms
Privacy enhancing technologies : protocol verification, implementation and specification
Lectures on proof verification and approximation algorithms
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Enhancing stock market anomalies with machine learning
Optimization Algorithms for Machine Learning
Machine vision algorithms and applications
Optimization algorithms for machine learning
Machine vision algorithms and applications
Verification of reactive systems : formal methods and algorithms
Stratified commutativity in verification algorithms for concurrent programs
MIZAR verification of generic algebraic algorithms
Privacy enhancing technologies : protocol verification, implementation and specification
Lectures on proof verification and approximation algorithms
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Enhancing stock market anomalies with machine learning
Optimization Algorithms for Machine Learning
Machine vision algorithms and applications
Optimization algorithms for machine learning
Machine vision algorithms and applications
Verification of reactive systems : formal methods and algorithms