Idioma:

Modeling and simulating interaction protocols using nested Petri nets

Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva; International Conference on Software Engineering and Formal Methods - SEFM (11th, 2013, Madrid)

Software engineering and formal methods Cham: Springer, 2014

Localização: IME - Inst. Matemática e Estatística (PROD-2506371 )(Acessar)

Título:
Modeling and simulating interaction protocols using nested Petri nets
Autor: Mirtha Lina Fernández Venero
Flávio Soares Corrêa da Silva; International Conference on Software Engineering and Formal Methods - SEFM (11th, 2013, Madrid)
Assuntos: PROTOCOLOS DE COMUNICAÇÃO; REDES DE PETRI
É parte de: Software engineering and formal methods Cham: Springer, 2014
Títulos relacionados: Série: Lecture Notes in Computer Science v. 8368
Editor: Cham Springer
Data de criação/publicação: 2014
Formato: p. 135-150.
Idioma: Inglês

Links

Voltar para lista de resultados

Resultado 1 Avançar Ir para próxima página