OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (3)

Show More Show Less

Author

Notare, Mirela Sechi Moretti Anonni (2)
Camargo, Murilo Silva de (1)
Gonçalves Riso, Bernardo (1)
Maciél, Cristiano (1)
Matos, Alexandre Veloso de (1)
Mello, Braulio Adriano de (1)
Riso, Bernardo Gonçalves (1)
Specialski, Elizabeth Sueli (1)

Show More Show Less

Subject

Ciencias Informáticas (3)
LOTOS (3)
Access (1)
Distributed (1)
Distributed Systems (1)
Distributed systems (1)
Gateway CMIP-SNMP (1)
Gerência de Redes (1)
Informática (1)
Network communication (1)

Show More Show Less

Year

2012 (3)
1996 (1)
1997 (1)
1998 (1)

Show More Show Less

Document Type

Sin Especificar (3)

Show More Show Less

Language

Portugués (3)

Show More Show Less

Your search

Subject: LOTOS Document Type: Sin Especificar Language: Portugués

Sort by Score Title Year -

1-3 from 3 results (0.023 seconds)

Title: Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Author: Matos, Alexandre Veloso de / Gonçalves Riso, Bernardo / Notare, Mirela Sechi Moretti Anonni
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / LOTOS / java / carregador de applets / Security and Protection / Distributed systems / PROGRAMMING LANGUAGES

Acceder
Title: Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
Author: Riso, Bernardo Gonçalves / Notare, Mirela Sechi Moretti Anonni / Maciél, Cristiano
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Tools / Distributed Systems / Network communication / sistemas distribuídos / servicios de comunicação / protocolos de ébmunicação / gerencia de redes / especificaçãó formal / construçãôs predefinidas / ferramientas de projeto / LOTOS / Access / bibLOTOS / communication services / communication protocols / netwbrk management / formal specification / pre-defined construcst / design tools

Acceder
Title: Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Author: Mello, Braulio Adriano de / Camargo, Murilo Silva de / Specialski, Elizabeth Sueli
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Simulation / Parallel processing / Distributed / Técnicas de Descrição Formal / LOTOS / Simulação / Verificação / Gerência de Redes / Gateway CMIP-SNMP

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723