Refine
Document Type
- Article (7) (remove)
Keywords
- Embedded Systems (6)
- Automotive (2)
- Binary Code (2)
- Active Star (1)
- Asynchronous Mode (1)
- Collision Avoidance (1)
- Electronic Control Unit (1)
- Electronic Engineering (1)
- Electronic design automation (1)
- FPGA (1)
- Fault injection (1)
- Formal Verification (1)
- Information Technology (1)
- Microcontroller (1)
- Model Checking (1)
- Safety-critical system (1)
- Static Analysis (1)
- Verification (1)