Refine
Year of publication
- 2011 (7) (remove)
Document Type
- Conference Proceeding (4)
- Article (2)
- Part of a Book (1)
Keywords
- Embedded Systems (6)
- Testing (2)
- Automotive (1)
- Binary Code (1)
- Communication System (1)
- Formal Verification (1)
- Industrial (1)
- Microcontroller (1)
- Model Checking (1)
- Person Counting (1)
- Static Analysis (1)
- Verification (1)
FlexRay (Chapter 44)
(2011)