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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
IEEE transactions on vehicular technology, 2021-06, Vol.70 (6), p.6073-6084
2021
Volltextzugriff (PDF)

A Survey on Data-Flow Testing
ACM computing surveys, 2018-01, Vol.50 (1), p.1-35
2018
Volltextzugriff (PDF)

IEEE transactions on parallel and distributed systems, 2017-05, Vol.28 (5), p.1299-1314
2017
Volltextzugriff (PDF)

IEEE transactions on computers, 2016-07, Vol.65 (7), p.2059-2073
2016
Volltextzugriff (PDF)

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.654-665
2015
Volltextzugriff (PDF)

Science China. Information sciences, 2016-09, Vol.59 (9), p.238-239, Article 98101
2016
Volltextzugriff (PDF)


Formalizing Google File System
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing, 2014, p.190-191
2014
Volltextzugriff (PDF)

IEEE transactions on vehicular technology, 2020-04, Vol.69 (4), p.4221-4232
2020
Volltextzugriff (PDF)

Open Access
LTL Satisfiability Checking Revisited
2013 20th International Symposium on Temporal Representation and Reasoning, 2013, p.91-98
2013
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2022-04, Vol.48 (4), p.1115-1137
2022
Volltextzugriff (PDF)


IEEE transactions on information forensics and security, 2022, Vol.17, p.2657-2672
2022
Volltextzugriff (PDF)

2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, 2014, p.162-167
2014
Volltextzugriff (PDF)

IEEE transactions on circuits and systems for video technology, 2024-08, Vol.34 (8), p.6949-6962
2024
Volltextzugriff (PDF)

Open Access
Optimizing backbone filtering
Science of computer programming, 2020-02, Vol.187, p.102374, Article 102374
2020
Volltextzugriff (PDF)

Science China. Information sciences, 2012-12, Vol.55 (12), p.2675-2693
2012
Volltextzugriff (PDF)

Artificial intelligence, 2020-12, Vol.289, p.1, Article 103369
2020
Volltextzugriff (PDF)

IEEE transactions on multimedia, 2024, Vol.26, p.5729-5740
2024
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2023-09, Vol.42 (9), p.1-1
2023
Volltextzugriff (PDF)

2015 IEEE 16th International Symposium on High Assurance Systems Engineering, 2015, p.207-214
2015
Volltextzugriff (PDF)

Open Access
MemLock: memory usage guided fuzzing
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.765-777
2020
Volltextzugriff (PDF)

IEEE transactions on reliability, 2018-09, Vol.67 (3), p.1143-1158
2018
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2023-04, Vol.49 (4), p.1-23
2023
Volltextzugriff (PDF)

2014 21st Asia-Pacific Software Engineering Conference, 2014, Vol.1, p.255-262
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt