Keyword:autômatos temporizados

Publications
Introducing New Definitions of Systems Language Opacity for Discrete Events Modeled by a Class of Timed Automata Mariana Marques, Raphael Barcelos and João Carlos Basilio EasyChair Preprint 15155