Sortiert nach
Computer (Long Beach, Calif.), 2019-09, Vol.52 (9), p.82-89
2019
Volltextzugriff (PDF)
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023, p.1-10
2023
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2024-04, Vol.57 (4), p.16-25
2024
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.11-24
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.213-226
Volltextzugriff (PDF)
NASA Formal Methods, p.49-64
Volltextzugriff (PDF)
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015, p.1-10
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Safety
- Science & Technology
- Technology
- Autonomous Systems
- Computer Science
- Computer Science, Software Engineering
- Machine Learning
- Computer Science, Hardware & Architecture
- Automation & Control Systems
- Bound Model Check
- Buildings
- Code Coverage
- Computer Science, Theory & Methods
- Computer Systems Organization -- Dependable And Fault-Tolerant Systems And Networks
- Confidence
- Decision Making
- Disruptive Innovation
- Documentation
- Engineering
- Ergonomics
Kollektion
Zeitschrift / Serie