Login / Signup

Aplicabilidade da Automação de Testes Funcionais - A Experiência no Instituto Atlântico.

Paula M. DoneganLiane R. P. BandeiraAna Cristina MatosPaula Luciana CunhaCamila Loiola Brito MaiaCarlo Giovano S. Pires
Published in: SBQS (2005)
Keyphrases
  • multi agent systems
  • alternating time temporal logic
  • model checking
  • temporal logic
  • learning algorithm
  • data structure
  • learning environment
  • search algorithm
  • knowledge based systems
  • reactive systems