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


Journal of computer security, 2015-12, Vol.23 (6), p.685-707
2015
Volltextzugriff (PDF)

IEEE transactions on dependable and secure computing, 2021-07, Vol.18 (4), p.1836-1849
2021
Volltextzugriff (PDF)

Science of computer programming, 2015-11, Vol.111, p.213-213
2015
Volltextzugriff (PDF)

Open Access
A CSP Account of Event-B Refinement
Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.139-154
2011
Volltextzugriff (PDF)

IEEE transactions on information forensics and security, 2020, Vol.15 (1), p.223-236
2020
Volltextzugriff (PDF)


Computers & security, 2009-07, Vol.28 (5), p.310-324
2009
Volltextzugriff (PDF)



Formal aspects of computing, 2014-03, Vol.26 (2), p.251-280
2014
Volltextzugriff (PDF)


Formal aspects of computing, 2014, Vol.26 (1), p.37-62
2014
Volltextzugriff (PDF)

IEEE transactions on information forensics and security, 2009-12, Vol.4 (4), p.662-673
2009
Volltextzugriff (PDF)

Formal aspects of computing, 2016-11, Vol.28 (6), p.909-935
2016
Volltextzugriff (PDF)


Formal aspects of computing, 2014, Vol.26 (1), p.63-98
2014
Volltextzugriff (PDF)

Formal aspects of computing, 2020-07, Vol.32 (2-3), p.251-273
2020
Volltextzugriff (PDF)




2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS), 2020, p.1167-1168
2020
Volltextzugriff (PDF)


Formal aspects of computing, 2005-12, Vol.17 (4), p.390-422
2005
Volltextzugriff (PDF)
Aktive Filter
KollektionIngentaConnect Journals
KollektionSpringer Book Series
ThemaSoftware Engineering
ThemaScience & Technology
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n