The page lists 2 projects related to the topic "embedded".
| # | |||
|---|---|---|---|
| 1 | AMASS | Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems | 2016 |
| 2 | AutoCPS | Automated Synthesis of Cyber-Physical Systems: A Compositional Approach | 2019 |