Explore projects

View af3-rcp project

af3 / af3-rcp

1

Updated Oct 17, 2025

1 0 5 0

Updated Oct 17, 2025
View fortissimo Models project

fortissimo Demonstrators / fortissimo Models
GNU General Public License v3.0 or later

AutoFOCUS 3 and OpenModelica models of the FF1 rovers.

0

Updated Nov 16, 2023

0 0 0 0

Updated Nov 16, 2023
View AF3-OM-ConsistencyDemo project

ConsistencyChecking / ConsistencyDemos / AF3-OM-ConsistencyDemo
Apache License 2.0

Provides a demonstrator that enables showing off / testing consistency checking between AF3 and OM models

0

Updated Dec 17, 2025

0 0 0 0

Updated Dec 17, 2025