Sortiert nach
Runtime Verification, p.59-75
Volltextzugriff (PDF)
Formal methods in system design, 2015-06, Vol.46 (3), p.286-316
2015
Volltextzugriff (PDF)
Engineering Secure Software and Systems, 2012, p.14-21
2012
Volltextzugriff (PDF)
NASA Formal Methods, p.174-180
Volltextzugriff (PDF)
Runtime Verification, p.136-152
Volltextzugriff (PDF)
Requirements Engineering: Foundation for Software Quality, p.256-262
Volltextzugriff (PDF)
2011 Sixth International Conference on Availability, Reliability and Security, 2011, p.327-333
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Requirements Engineering
- Compliance
- Runtime Verification
- Security Standards
- Temporal Logic
- Android Application
- Android Platform
- Anforderungstechnik
- Cae) And Design
- Circuits And Systems
- Cloud Computing
- Computer Science, Information Systems
- Computer-Aided Engineering (cad
- Context
- Electrical Engineering
Kollektion
Zeitschrift / Serie