Browsing by Author "Ploutarchou, Christos"
Now showing items 1-1 of 1
-
Conference Object
Tempo-toolkit: Tempo to java translation module
Georgiou, Chryssis; Musiał, Peter M.; Ploutarchou, Christos (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 ...