Sortiert nach
14th International Symposium on Foundations & Practice of Security, Paris, France, 2022, Vol.13291, p.146-161
2022
Volltextzugriff (PDF)
IEEE software, 2019-11, Vol.36 (6), p.61-65
2019
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.214-230
Volltextzugriff (PDF)
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-9
2018
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.442-457
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Access Control
- Cloud Computing
- Aerospace Engineering
- Cognition
- Complex Systems
- Computer Science, Information Systems
- Concrete Model
- Cost Analysis
- Data Security
- Differential Cost Analysis
- Direct Memory Access
- Domains
- Encoding
- Helicopter Control
- Logic In Computer Science
Kollektion
Zeitschrift / Serie