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 |