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...
IEEE annals of the history of computing, 2024-02, p.1-17
2024
Volltextzugriff (PDF)

IEEE annals of the history of computing, 2023-04, Vol.45 (2), p.71-72
2023
Volltextzugriff (PDF)

IEEE annals of the history of computing, 2015-07, Vol.37 (3), p.56-66
2015
Volltextzugriff (PDF)


IEEE transactions on dependable and secure computing, 2004-01, Vol.1 (1), p.11-33
2004
Volltextzugriff (PDF)

Journal of information technology, 2007-09, Vol.22 (3), p.222-234
2007
Volltextzugriff (PDF)

IEEE annals of the history of computing, 2021-01, Vol.43 (1), p.19-37
2021
Volltextzugriff (PDF)

Applications and Theory of Petri Nets, p.1-16
Volltextzugriff (PDF)

A Turing Enigma
CONCUR 2012 – Concurrency Theory, p.23-36
Volltextzugriff (PDF)

2018 18th International Conference on Application of Concurrency to System Design (ACSD), 2018, p.70-74
2018
Volltextzugriff (PDF)

Journal of information technology, 2007, Vol.22 (3), p.222-234
2007
Volltextzugriff (PDF)

On Failures and Faults
FME 2003: Formal Methods, 2003, p.18-39
2003
Volltextzugriff (PDF)

1, 2012
Volltextzugriff (PDF)

37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), 2007, p.813-813
2007
Volltextzugriff (PDF)

Theoretical Aspects of Computing – ICTAC 2007, p.260-274
Volltextzugriff (PDF)

Molecular Beam Epitaxy
1, 1980
Volltextzugriff (PDF)

Computer journal, 2000-01, Vol.43 (2), p.95-106
2000
Volltextzugriff (PDF)

System dependability
Future Tendencies in Computer Science, Control and Applied Mathematics, 2005, p.21-50
2005
Volltextzugriff (PDF)

IEEE transactions on parallel and distributed systems, 2000-10, Vol.11 (10), p.1019-1032
2000
Volltextzugriff (PDF)

Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007), 2007, p.177-199
2007
Volltextzugriff (PDF)

Dependable pervasive systems
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004, 2004, p.2
2004
Volltextzugriff (PDF)

Provenance and Annotation of Data and Processes, p.183-197
Volltextzugriff (PDF)

Edsger Dijkstra
2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003, p.3-3
2003
Volltextzugriff (PDF)


Some lessons from the SW2000 workshop
Dependable Computing — EDCC-1, 2005, p.414-416
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n