Buscar
Mostrando ítems 11-19 de 19
Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
(Florianópolis, SC, 2012)
Esquema de controle adaptativo de tráfego de redes baseado em um algoritmo de predição fuzzy
(Sociedade Brasileira de Automática, 2008)
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos
(Universidade Federal de Pernambuco, 2014)
Development of an Evaluation Program for Low Pressure Plasma Processes
(Florianópolis, SC., 2016)
Modelling and Integrating Formal Models: from Test Cases and Requirements Models
(Universidade Federal de Pernambuco, 2014)