Menu

Filtros : "TEMPO-REAL (SISTEMAS)" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Dissertação (Mestrado)

    Extensões na política EBS - controle de admissão e redução da ordem de complexidade temporal   (2008)

    Tott, Rogerio Fernandes; Monaco, Francisco José (Orientador)

    Unidade: ICMC

    Subjects: TEMPO-REAL (SISTEMAS), SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      TOTT, Rogerio Fernandes. Extensões na política EBS - controle de admissão e redução da ordem de complexidade temporal  . 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28052009-090404/. Acesso em: 11 fev. 2026.

    • APA

      Tott, R. F. (2008). Extensões na política EBS - controle de admissão e redução da ordem de complexidade temporal   (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28052009-090404/

    • NLM

      Tott RF. Extensões na política EBS - controle de admissão e redução da ordem de complexidade temporal   [Internet]. 2008 ;[citado 2026 fev. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28052009-090404/

    • Vancouver

      Tott RF. Extensões na política EBS - controle de admissão e redução da ordem de complexidade temporal   [Internet]. 2008 ;[citado 2026 fev. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28052009-090404/

  • Dissertação (Mestrado)

    Minimização de conjuntos de casos de teste para máquinas de estados finitos (2008)

    Mello Neto, Lúcio Felippe de; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, TEMPO-REAL (SISTEMAS), ENGENHARIA DE SOFTWARE, MECÂNICA DOS FLUÍDOS COMPUTACIONAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MELLO NETO, Lúcio Felippe de. Minimização de conjuntos de casos de teste para máquinas de estados finitos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/. Acesso em: 11 fev. 2026.

    • APA

      Mello Neto, L. F. de. (2008). Minimização de conjuntos de casos de teste para máquinas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/

    • NLM

      Mello Neto LF de. Minimização de conjuntos de casos de teste para máquinas de estados finitos [Internet]. 2008 ;[citado 2026 fev. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/

    • Vancouver

      Mello Neto LF de. Minimização de conjuntos de casos de teste para máquinas de estados finitos [Internet]. 2008 ;[citado 2026 fev. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/

  • Dissertação (Mestrado)

    Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espacias (2007)

    Herculano, Paula Fernanda Ramos; Delamaro, Márcio Eduardo (Orientador)

    Unidade: ICMC

    Subjects: SOFTWARES (TESTES;QUALIDADE), ENGENHARIA DE SOFTWARE, TEMPO-REAL (SISTEMAS)

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      HERCULANO, Paula Fernanda Ramos. Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espacias. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092007-165441/. Acesso em: 11 fev. 2026.

    • APA

      Herculano, P. F. R. (2007). Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espacias (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092007-165441/

    • NLM

      Herculano PFR. Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espacias [Internet]. 2007 ;[citado 2026 fev. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092007-165441/

    • Vancouver

      Herculano PFR. Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espacias [Internet]. 2007 ;[citado 2026 fev. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092007-165441/
  • 1

1 - 3 (3 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026