#

timed-automata

Here is 1 public repository matching this topic...

ZiggyStardustAndTheSpidersFromMars / TARTS

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

Improve this page

Add a description, image, and links to the timed-automata topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the timed-automata topic, visit your repo's landing page and select "manage topics."