Refine
Year of publication
- 2011 (4) (remove)
Document Type
- Conference Proceeding (3)
- Article (1)
Keywords
- Embedded Systems (4)
- Testing (2)
- Binary Code (1)
- Formal Verification (1)
- Microcontroller (1)
- Model Checking (1)
- Static Analysis (1)
- Verification (1)