Mostrando 1 - 20 resultados de 40 para a busca 'algorithms verification methodology', tempo de busca: 0,21s

8

10

14

...The Abstract State Machines methodology offers a powerful, easy-to-use mechanism to formally...

Uma linguagem de especificação formal orientada por aspectos

Publicado em 2007
Dissertação

16

... procedures and analysis of a variable reluctance machine. An iterative design methodology is introduced and...

Projeto iterativo, simulação, análise e otimização de máquina a relutância variável monofásica

Publicado em 2016
Dissertação

18

...Fault localization algorithms are frequently used in electrical power systems with the objective...

Algoritmo para localização de faltas em linhas de transmissão baseado na teoria de estimação de estados

Publicado em 2019
Dissertação