COE 829 - Tópicos Especiais em Protocolos de Comunicação

Prototipagem e Simulação de Protocolos; A linguagem Promela;O Cálculo de Processos (CCS de Milner);A linguagem LOTOS;Estudo de Casos.

Ministrada por: Aloysio de Castro Pinto Pedroza

• < Prev
• Next >