Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
HARM: a Hint-based Assertion Miner
IEEE transactions on computer-aided design of integrated circuits and systems, 2022-11, Vol.41 (11), p.1-1
2022
Volltextzugriff (PDF)


IEEE sensors journal, 2021-08, Vol.21 (15), p.17053-17063
2021
Volltextzugriff (PDF)

IEEE transactions on emerging topics in computing, 2022-04, Vol.10 (2), p.728-739
2022
Volltextzugriff (PDF)




ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-19
2017
Volltextzugriff (PDF)




2017 IEEE International High Level Design Validation and Test Workshop (HLDVT), 2017, p.67-73
2017
Volltextzugriff (PDF)


1st ed. 2016, 2016
Volltextzugriff (PDF)

IEEE journal of biomedical and health informatics, 2020-09, Vol.24 (9), p.2444-2451
2020
Volltextzugriff (PDF)

Journal of electronic testing, 2016-02, Vol.32 (1), p.43-57
2016
Volltextzugriff (PDF)

SN computer science, 2024-01, Vol.5 (1), p.42, Article 42
2024
Volltextzugriff (PDF)


IEEE transactions on computers, 2020-04, Vol.69 (4), p.606-620
2020
Volltextzugriff (PDF)

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.1430-1433
2021
Volltextzugriff (PDF)

2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, p.1-6
2024
Volltextzugriff (PDF)

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, p.1-2
2023
Volltextzugriff (PDF)

IEEE transactions on computers, 2011-12, Vol.60 (12), p.1730-1743
2011
Volltextzugriff (PDF)

2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, p.1-2
2024
Volltextzugriff (PDF)

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015, p.67-72
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt