20 lines
920 B
Markdown
20 lines
920 B
Markdown
# Table of Contents for ME 2150 - High Assurance Cyber-Physical Systems
|
|
|
|
## Files
|
|
- [[2025-01-09 Syllabus and Introduction.md]]
|
|
- [[2025-01-14 Microkernels.md]]
|
|
- [[2025-01-16 HACMS Program Overview.md]]
|
|
- [[2025-02-18 Boyd Talk.md]]
|
|
- [[Capabilities Tutorials.md]]
|
|
- [[Investigating seL4 with Docker.md]]
|
|
- [[Lean.md]]
|
|
- [[ME 2150 - High-Assurance Cyber-Physical Systems Homework 1 Complete.md]]
|
|
- [[ME 2150 - High-Assurance Cyber-Physical Systems Homework 1.md]]
|
|
- [[press.png]]
|
|
- [[!Things That Need Done.md]]
|
|
|
|
## Summary
|
|
This directory appears to be for an online course or tutorial on "High Assurance Cyber-Physical Systems" (ME 2150). The files within contain lecture notes, tutorials, assignments, and other resources related to the topic of high-assurance systems, which prioritize security, reliability, and safety in complex systems that integrate physical devices with software.
|
|
|
|
Generated by llama3.2:latest
|