-
2041
-
2042
-
2043Uma ferramenta semi-automatizada de verificação de especificações LOTOS usando técnicas algébricas /“... verificação implementado na ferramenta se fundamenta na técnica de prova baseada em bisimulação fraca de...”
Mais informações
Dissertação -
2044
-
2045
-
2046
-
2047
-
2048
-
2049
-
2050
-
2051
-
2052
-
2053
-
2054
-
2055
-
2056
-
2057
-
2058
-
2059
-
2060
-
2061por Oliveira, Leandro Fernandes., Oliveira, Andre Luiz Muniz., Campos, Cleber da Silveira., Nascimento, Marco Antonio Toledo., Universidade Federal do Rio Grande do Norte.“... qualidade de mediador no processo interpretativo utilizando, como feramenta, as técnica estendidas de duas...”
Mais informações
Dissertação -
2062
-
2063
-
2064
-
2065
-
2066
-
2067
-
2068
-
2069
-
2070
-
2071
-
2072
-
2073
-
2074
-
2075
-
2076
-
2077
-
2078
-
2079
-
2080