The Crescendo Tool
Formal design and modelling using Co-Simulation
Documentation
This site list the most important Crescendo resources. The documentation provided here is maintained by the Overture community and is available through this site:
Formal design and modelling using Co-Simulation
This site list the most important Crescendo resources. The documentation provided here is maintained by the Overture community and is available through this site: