Sortiert nach
Software Technologies, 2021, Vol.1447, p.158-183
2021
Link zum Volltext
2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021, p.327-332
2021
Link zum Volltext
Computer Aided Verification, 2001, p.311-323
2001
Link zum Volltext
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019, p.1-10
2019
Link zum Volltext
Security and Trust Management, p.68-83
Link zum Volltext
Formal Techniques for Computer Systems and Business Processes, 2005, p.200-214
2005
Link zum Volltext
2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018, p.42-47
2018
- Link zum Volltext
Computer Safety, Reliability, and Security, p.415-428
Link zum Volltext
Automated Reasoning, 2004, p.137-151
2004
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.128-143
Link zum Volltext
Delegation von Aufgaben an IT-Assistenzsysteme, p.137-146
Link zum Volltext
Annual Symposium on Foundations of Computer Science, 2000, p.643-652
2000
- Link zum Volltext
Datenschutz und Datensicherheit, 2007-11, Vol.31 (11), p.810-815
2007
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Computer Systems And Distributed Systems. User Interface
- Industrial Automation & Control
- Logic
- Mathematics
- Physical Sciences
- Security
- Security Protocol
- Algorithms
- Atomic Proposition
- Attack Actions
- Authorization
Kollektion
Zeitschrift / Serie