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...












Trudy Instituta sistemnogo programmirovaniâ, 2018-10, Vol.30 (4), p.79-94
2018
Volltextzugriff (PDF)





The International Journal of Cardiovascular Imaging, 2015-06, Vol.31 (5), p.899-904
2015
Volltextzugriff (PDF)

Towards Secure Digital Twins
Leveraging Applications of Formal Methods, Verification and Validation. Practice, p.159-176
Volltextzugriff (PDF)

Innovative Security Solutions for Information Technology and Communications, 2019, Vol.11359, p.71-84
2019
Volltextzugriff (PDF)

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), 2021, p.75-85
2021
Volltextzugriff (PDF)

2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), 2020, p.119-129
2020
Volltextzugriff (PDF)

2022 Computing in Cardiology (CinC), 2022, Vol.498, p.1-4
2022
Volltextzugriff (PDF)

2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), 2020, p.98-108
2020
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n