Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Electronics, 10, (21), MDPI, https://doi.org/10.26083/tuprints-00020072
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2022
- Creator
-
Ismail, Khaled A.
Ghany, Mohamed A. Abd El
- DOI
-
10.26083/tuprints-00020072
- URN
-
urn:nbn:de:tuda-tuprints-200728
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ismail, Khaled A.
- Ghany, Mohamed A. Abd El
- Universitäts- und Landesbibliothek
Time of origin
- 2022
Other Objects (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