Several tutorials were created to facilitate the usage of the multiscale multidimensional spatio-temporal meta model checker Mule.

Video tutorials:
  1. What is Mule?
  2. How to download, install and use Mule?
  3. How to generate an instance of Mule for case study specific spatial entity types and properties?
For best visual experience when watching the video tutorials select the 1080p resolution from the bottom right corner of the video player.

2. What is Mule?

Tutorial: What is Mule?


Click here to go back to the top of the page.

3. How to download, install and use Mule?

Tutorial: How to download, install and use Mule?


Click here to go back to the top of the page.

4. How to generate a case-study specific instance of Mule?

Tutorial: How to generate a case study specific instance of Mule?


Click here to go back to the top of the page.