vsavicks/ptolemy-jfmi
Public repository.
The component front-end of the FMI co-simulation tool for Rodin platform.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Port of FMUSDK2.0.3 from QTronic (http://www.qtronic.de/doc/fmusdk.zip) to Mac OS X and Linux.
Multi-simulation plug-in for Rodin
Translator from ARM instruction litmus tests to Event-B