Experimental system model generator for RTS
model-checking
rts
execution-tracer
model-exploration
osek
system-modeling
model-export
automotive-applications
-
Updated
Dec 23, 2018 - Java
Experimental system model generator for RTS
Add a description, image, and links to the osek topic page so that developers can more easily learn about it.
To associate your repository with the osek topic, visit your repo's landing page and select "manage topics."