Sortiert nach
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems, 2010, p.1-7
2010
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Component
- Domain-Specific Languages
- Model-Driven Engineering Trust
- Mutation Analysis
- Ocl Contracts
- Proofs
- Requirement
- Software And Its Engineering
- Software And Its Engineering -- Software Creation And Management -- Designing Software
- Software And Its Engineering -- Software Notations And Tools
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Transformation Tests
- Transformation Traceability
Kollektion