ZI

ZiggyStardustAndTheSpidersFromMars/TARTS

TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton

arduino arduino-uno automation nucleo nucleo-f030r8 stm32 synthesis timed-automata uppaal verification

No README found.

Languages

Java100.0%

Contributors

Latest Release

1.0August 30, 2020

MIT License

Created August 30, 2020

Updated June 17, 2023

ZiggyStardustAndTheSpidersFromMars/TARTS | GitHunt