Popular repositories Loading

1. fmusim-rodin fmusim-rodin Public

   The component front-end of the FMI co-simulation tool for Rodin platform.

   Java 1

2. fmusdk2 fmusdk2 Public

   Forked from cxbrooks/fmusdk2

   Port of FMUSDK2.0.3 from QTronic (http://www.qtronic.de/doc/fmusdk.zip) to Mac OS X and Linux.

   C 1

3. fmusdk fmusdk Public

   This is an SDK (originally developed by QTronic) for testing the new Functional Mockup Interface developed by the Modelisar project.

4. rms rms Public

   Rodin Multi-Simulation plug-in for the Rodin platform

   Java

5. awm awm Public

   Translator from ARM instruction litmus tests to Event-B

   Java

6. multisim multisim Public

   Multi-simulation plug-in for Rodin

   Java 3