The Crescendo Tool
Formal design and modelling using Co-Simulation
Crescendo Workshop in Japan
Tutorial at the NPO TopSE centre
The NPO TopSE centre in Japan sponsored a tutorial on the Crescendo tool in October 2014. Details and material (in Japanese) can be found on Fuyuki Ishikawa’s seminar page for the event. Videos from this event are available following these links (please note that it is divided in three parts):
- First part (in English)
- Second part (in Japanese)
- Third part (in English)