Keyword:Sistemas a eventos discretos

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