skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Simão, Adenilso Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17

Acesso online. A biblioteca também possui exemplares impressos.

2
Property-preserving petri net process algebra in software engineering
Property-preserving petri net process algebra in software engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Property-preserving petri net process algebra in software engineering

Hejiao Huang

Singapore World Scientific Hackensack, N.J. c2012

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.179.2 P945 )(Acessar)

3
Application of Petri nets to communication networks advances in Petri nets
Application of Petri nets to communication networks advances in Petri nets
Material Type:
Livro 		Adicionar ao Meu Espaço

Application of Petri nets to communication networks advances in Petri nets

Jonathan Billington; Michel Diaz 1945-; Grzegorz Rozenberg

Berlin Springer New York 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1605 )(Acessar)

4
Método de avaliação do modelo de processos de negócio do EKD
Método de avaliação do modelo de processos de negócio do EKD
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Método de avaliação do modelo de processos de negócio do EKD

Pádua, Silvia Inês Dallavalle De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2004-12-03

Acesso online

5
Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.
Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.

Siqueira, Ricardo Alves De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2014-09-29

Acesso online. A biblioteca também possui exemplares impressos.

6
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"

Simão, Adenilso Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2004-12-17

Acesso online

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (4)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Maldonado, J
  3. Inamasu, R
  4. Rozenberg, G
  5. Huang, H

Neste Assunto:

  1. Engenharia De Software
  2. Petri Nets
  3. Redes De Petri
  4. Software Engineering
  5. Análise De Mutantes

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.