Demonstration of ASTERIOS®, with its LET technology in action on a Flight Control System example.
- Mar
- 2021
- Posted in News
The video shows how ASTERIOS is actually streamlining and automating the software development process, introducing an architecture dimension and safe-by-design paradigm to the development process, in a formal approach that guarantees built-in determinism and correct-by-design software application development.