Abordagem híbrida para modelagem de sistemas de ar condicionado em edifícios inteligentes.

by Emilia Villani
Published 2000

Modelagem e análise de sistemas supervisórios híbridos.

by Emília Villani
Published 2004

Discrete Event Simulation Applied to Aircraft Development

by Rinaldo Piubeli Prado, Emilia Villani
Published 2011-03-01

Model-Based Testing Applied to Software Components of Satellite Simulators

by Paulo Diego Barbosa da Silva, Ana Maria Ambrosio, Emilia Villani
Published 2018-01-01

Implementation Analysis of a Washout Filter on a Robotic Flight Simulator - a Case Study

by Guilherme Sartori Natal, Diego Hernandez Arjoni, Wesley Rodrigues de Oliveira, Guilherme Boulhosa Rodamilans, Edmar Thomaz da Silva, Leandro Silveira, Emilia Villani, Luís Trabasso
Published 2019-01-01

Projeto e validação de um sistema de medição de perpendicularidade para efetuadores robóticos.

by Luís Fernando Ferreira Furtado
Published 2010

Proposta de arquitetura de software de controle para efetuador robótico multifuncional.

by José Marcos Silva Anjos
Published 2010

Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.

by Rodrigo Pastl Pontes
Published 2011

Análise térmica de sistemas hidráulicos de aeronaves

by Gilliard Fabiano Adriano
Published 2010

Modelagem e análise de falhas de uma servo-válvula de controle de freio utilizando AMESIM

by Ítalo de Fazio Aguiar
Published 2010

Benchmarking software requirements documentation for space applications

by Paulo Claudino Véras
Published 2011

Model checking aplicado a software embarcado crítico do satélite universitário ITASAT

by Waldo Acioli Falcão de Alencar
Published 2013

Modelagem e análise do software embarcado de piloto automático de um VANT.

by Paulo Claudino Véras
Published 2007

Sistema de monitoramento remoto de processos de manufatura.

by Carlos Eduardo Oliveira da Silva
Published 2008

Análise da aplicação de técnicas de modelagem e simulação discreta ao ciclo de desenvolvimento de aeronaves.

by Rinaldo Piubeli Prado
Published 2009

Integração de rede de Petri e simulação gráfica para verificação de células robóticas colaborativas.

by Adriano José Cunha de Aguiar
Published 2009

Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.

by Eduardo Correia da Silva
Published 2009

Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.

by Marcelo Nascimento Duval
Published 2010

Abordagem para verificação de sistemas de controle para automação flexível

by Guilherme Kisseloff Coracini
Published 2014