Return to Article Details Introduzindo novas definições de opacidade de linguagem de sistemas a eventos discretos modelados por uma classe de autômatos temporizados Download Download PDF