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 Julia Static Analyzer for Java
Static Analysis, p.39-57
Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering, p.140-154
Volltextzugriff (PDF)

Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware, 2008, p.124-143
2008
Volltextzugriff (PDF)




ECOOP 2005 - Object-Oriented Programming, 2005, p.602-629
2005
Volltextzugriff (PDF)

Open Access
Java Typestate Checker
Coordination Models and Languages, p.121-133
Volltextzugriff (PDF)

The Karlsruhe Java Verification Suite
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Volltextzugriff (PDF)




Detection of Intrusions and Malware, and Vulnerability Assessment, p.303-325
Volltextzugriff (PDF)


Smart Card Research and Advanced Applications, p.275-288
Volltextzugriff (PDF)



14th International Symposium on Foundations & Practice of Security, Paris, France, 2022, Vol.13291 LNCS, p.146-161
2022
Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems, p.67-84
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.149-160
2004
Volltextzugriff (PDF)




Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.208-224
2020
Volltextzugriff (PDF)

A Fusion of Artificial Intelligence and Internet of Things for Emerging Cyber Systems, 2022, Vol.210, p.243-259
2022
Volltextzugriff (PDF)
Aktive Filter
SpracheItalienisch
SpracheJapanisch
ThemaSocial Sciences
KollektionSpringer Book Series
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n