TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
arduino
automation
stm32
verification
synthesis
arduino-uno
uppaal
timed-automata
nucleo
nucleo-f030r8
-
Updated
Sep 12, 2020 - Java
TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
Add a description, image, and links to the nucleo-f030r8 topic page so that developers can more easily learn about it.
To associate your repository with the nucleo-f030r8 topic, visit your repo's landing page and select "manage topics."