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

Your search

Subject: Simulação numérica Document Type: Sin Especificar Language: Portugués

Sort by Score Title Year -

1-2 from 2 results (0.011 seconds)

Title: Um estudo de caso para apoio a detecção de conflitos de tráfego aéreo em rotas utilizando “detectar”
Author: Cunha, Adilson Marques da / Lovato, Agnaldo Volpe
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Estudo de Caso / Engenharia de Software / Orientação a Objetos / RUP / UML / Ferramentas CASE / Simulação / Tráfego Aéreo / Detecção de Conflitos / e CNS/ATM

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 »