Propaganda
Biblioteca de analisador de autômatos até o uppaal
A biblioteca de parser automaticamente cronometrado do Uppaal (libutap) é a biblioteca de parser usada pelo uppaal. ...
biblioteca de analisador Uppaal. UPPAAL Temporário cronometrado Automata cronometrada