COMP 763 IN PRACTICE: UPPAAL Global and local declarations – Variables, functions and types Automata templates – Parameterizable extended timed automata Behavioural classes System definition – System model: concurrent processes, channels and local and global variables System Description 27
{}