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



Scientific data, 2024-01, Vol.11 (1), p.22-22, Article 22
2024
Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems, 2012, p.33-59
1, 2012
Volltextzugriff (PDF)

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004, 2004, p.443-448
2004
Volltextzugriff (PDF)

Open Access
Verification of NASA emergent systems
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems, 2004, p.231-238
2004
Volltextzugriff (PDF)