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...
The Hemodialysis Machine Case Study
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.329-343
Volltextzugriff (PDF)






IEEE access, 2017-01, Vol.5, p.24262-24274
2017
Volltextzugriff (PDF)

Software quality journal, 2016-09, Vol.24 (3), p.571-596
2016
Volltextzugriff (PDF)


Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.213-228
Volltextzugriff (PDF)

Procedia computer science, 2021, Vol.180, p.502-506
2021
Volltextzugriff (PDF)


Intelligent Autonomous Systems
Computer (Long Beach, Calif.), 2020-12, Vol.53 (12), p.20-23
2020
Volltextzugriff (PDF)

Computer (Long Beach, Calif.), 2022-03, Vol.55 (3), p.24-28
2022
Volltextzugriff (PDF)

Applied soft computing, 2023-01, Vol.133, p.109977, Article 109977
2023
Volltextzugriff (PDF)

Software, practice & experience, 2018-12, Vol.48 (12), p.2350-2379
2018
Volltextzugriff (PDF)

IEEE software, 2018-01, Vol.35 (1), p.24-29
2018
Volltextzugriff (PDF)



Journal of software : evolution and process, 2020-02, Vol.32 (2), p.n/a
2020
Volltextzugriff (PDF)


Journal of software : evolution and process, 2023-07, Vol.35 (7), p.n/a
2023
Volltextzugriff (PDF)

Cognition, technology & work, 2024-02, Vol.26 (1), p.83-106
2024
Volltextzugriff (PDF)

Science of computer programming, 2018-06, Vol.158, p.148-167
2018
Volltextzugriff (PDF)

IEEE embedded systems letters, 2016-03, Vol.8 (1), p.14-17
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt