Browsing by Subject "Correct-by-construction"
Now showing items 1-1 of 1
-
Conference Object
Tempo-toolkit: Tempo to java translation module
(2013)TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for ...