Skip to content
Snippets Groups Projects
Commit 87beffa5 authored by Luis Diogo Couto's avatar Luis Diogo Couto
Browse files

Fix DL links for COE and Overture FMU tool

parent cf1d75f4
No related branches found
No related tags found
No related merge requests found
......@@ -28,12 +28,12 @@ integrated download manager of the INTO-CPS Application.
If you prefer, you can download the INTO-CPS tools
individually, through the following links.
* COE - [Windows / Mac / Linux](http://overture.au.dk/into-cps/development/latest)
* COE - [Windows / Mac / Linux](http://overture.au.dk/artifactory/into-cps/org/intocps/orchestration/coe/)
* 20-sim - [Windows](http://www.20sim.com/download/20sim.html)
* 20-sim 4C - [Windows](http://www.20sim4c.com/downloads/20sim4c.html)
* Open Modelica - [Windows](https://openmodelica.org/download/download-windows) / [Mac](https://openmodelica.org/download/download-mac) / [Linux](https://openmodelica.org/download/download-linux)
* Overture Tool - [Windows / Mac / Linux](http://overturetool.org/download)
* Overture Tool Wrapper - [Windows / Mac / Linux](http://overture.au.dk/into-cps/vdm-tool-wrapper/development/latest/)
* Overture FMU Import/Export - [Windows / Mac / Linux](http://overture.au.dk/into-cps/vdm-tool-wrapper/master/)
* Modelio - [Windows / Mac / Linux](https://www.modelio.org/downloads/download-modelio.html)
* RT-Tester prerequisites (Python27/gcc) - [Windows](https://secure.verified.de/f5x1hks4/into-cps/one-click/install_Python27_gcc49.exe)
* RT-Tester toolchain - [Windows](https://secure.verified.de/f5x1hks4/into-cps/one-click/VSI_bundle.exe)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment