Course
CRS-0107-03-005Advanced Embedded Systems
advancedactive
Advanced embedded topics including formal verification, security, and low-power design.
Advanced Embedded Systems
advancedactive
Also known as: Advanced Embedded
| Course name | Advanced Embedded Systems |
|---|---|
| Course code | CRS-0107-03-005 |
| Canonical ID | urn:taxonomy:cip-aligned:course:0107-03-005 |
| Level | advanced |
| Status | active |
| Subject | Embedded Systems (SUB-0107-03) |
| Discipline | Computer Engineering (DIS-0107) |
| Category | Computing and Information Sciences (CAT-01) |
Advanced embedded topics including formal verification, security, and low-power design.
Credit hours
| Min | 3 |
|---|---|
| Max | 3 |
| Type | semester |
Contact hours
| Lecture | 3 |
|---|---|
| Lab | 0 |
| Studio | 0 |
| Clinical | 0 |
| Practicum | 0 |
Learning outcomes
- Apply formal verification.
- Secure embedded systems.
- Design low-power embedded systems.