Showing 1 - 5 results of 5 for search 'Andrade, Aline Maria Santos', query time: 0.09s Refine Results
  1. 1
    Uma Solução para o Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos
    by Santos, Jandson
    Published 2016
    Other Authors: “...Andrade, Aline Maria Santos...”
    Get full text
  2. 2
    Uso de Sistemas de Transições Modais de Kripke para Representacão de Comportamento Parcial no Desenvolvimento incremental e interativo de software
    Other Authors: “...Andrade, Aline Maria Santos...”
    Get full text
  3. 3
    Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes
    by Muniz, André Luís Nunes
    Published 2016
    Other Authors: “...Andrade, Aline Maria Santos...”
    Get full text
  4. 4
    Sistematizando o desenvolvimento de transformações modelo a modelo em uma abordagem dirigida a modelo
    Other Authors: “...Andrade, Aline Maria Santos...”
    Get full text
  5. 5
    Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
    Other Authors: “...Andrade, Aline Maria Santos...”
    Get full text
Search Tools: Get RSS Feed — Email this Search