adamant
A component-based, model-driven framework for constructing reliable and reusable real-time software.
- from
- Ada/SPARK
- added
- 2026-10-10
- likes
- 0
Ada/SPARK › Hardware and Embedded > Frameworks: “A component-based, model-driven framework for constructing reliable and reusable real-time software.”