Refine
Document Type
- Conference Proceeding (8)
- Article (1)
- Lecture (1)
Language
- German (10) (remove)
Keywords
- Embedded Systems (7)
- Automotive (3)
- Testing (3)
- Model Checking (2)
- Benchmark-Framework (1)
- Binary Code (1)
- Communication Systems (1)
- Formal Verification (1)
- Knitting Machine (1)
- Person Counting (1)
- Satellite Modem (1)
- Static Analysis (1)