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...
Innovations in systems and software engineering, 2023-12, Vol.19 (4), p.395-410
2023
Volltextzugriff (PDF)


Science of computer programming, 2025-01, Vol.239, p.103184, Article 103184
2025
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021, Vol.348, p.73-91
2021
Volltextzugriff (PDF)



2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023, p.1-10
2023
Volltextzugriff (PDF)







2018
Volltextzugriff (PDF)






2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 2020, p.1-10
2020
Volltextzugriff (PDF)

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.88-99
2024
Volltextzugriff (PDF)

2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.88-99
2024
Volltextzugriff (PDF)

2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 2019, p.1-10
2019
Volltextzugriff (PDF)

2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018, p.1-10
2018
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt