Bibliotecas PUC-SP - Busca Integrada

Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos

由 ANDRADE, Ermeson Carneiro de
出版 2015

Modelagem e análise de especificações de sistemas de tempo-real críticos com restrições de energia

由 ANDRADE, Ermeson Carneiro de
出版 2014

Desenvolvimento e Avaliação de uma Ferramenta Interativa Baseada em Exemplos para o Aprendizado de Modelagem de Sistemas Usando Redes de Petri

由 Lima, John Wesley Soares de, Pontual Falcão, Taciana, Andrade, Ermeson
发表在 Revista Brasileira de Informática na Educação (2021)