MICHELON, Leonardo; COSTA, Simone André da; RIBEIRO, Leila.
Specification of Real-Time Systems with Graph Grammars. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 20. , 2006, Florianópolis.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2006
.
p. 97-112.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.2006.21207.