Embedded Systems & Cyber-Physical Systems
Refine
Year of publication
- 2011 (17) (remove)
Document Type
- Conference Proceeding (14)
- Article (2)
- Part of a Book (1)
Keywords
- Embedded Systems (12)
- Assistive Technologies (4)
- Teaching (3)
- Testing (3)
- Automotive (1)
- Binary Code (1)
- Communication System (1)
- FlexRay (1)
- Formal Verification (1)
- IEEE (1)
- Industrial (1)
- Microcontroller (1)
- Model Checking (1)
- Person Counting (1)
- Static Analysis (1)
- Verification (1)
FlexRay (Chapter 44)
(2011)