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...
Applied sciences, 2021-05, Vol.11 (9), p.4026
2021
Volltextzugriff (PDF)

Empirical software engineering : an international journal, 2018-12, Vol.23 (6), p.3684-3733
2018
Volltextzugriff (PDF)

Applicable Formal Methods for Safe Industrial Products, p.96-113
Volltextzugriff (PDF)


Verification and Evaluation of Computer and Communication Systems, p.185-199
Volltextzugriff (PDF)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.3-19
Volltextzugriff (PDF)

Innovations in systems and software engineering, 2020-06, Vol.16 (2), p.215-230
2020
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Practice, p.269-285
Volltextzugriff (PDF)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.146-164
Volltextzugriff (PDF)

2022 6th International Conference on System Reliability and Safety (ICSRS), 2022, p.110-119
2022
Volltextzugriff (PDF)

2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2022, p.162-169
2022
Volltextzugriff (PDF)














Internal and emergency medicine, 2021-09, Vol.16 (6), p.1729-1731
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt