assert project
assert project

ASSERT Project is an integrated project to improve the development process for critical embedded real-time systems by employing a proven-by-design approach, under the European Space Agency (ESA) and the European Commission. ASSERT is a reliable and scientific approach in embedded systems and software development based on modelling and verification, integrated supporting tools, preservation of system properties and model transformation.

For a reliable
and scientific
approach
in system
and software
engineering
Copyright & Legal
This is a website recovered by the free version of the Wayback Downloader.