Buscar
Mostrando ítems 1-10 de 88
Geração automática de hardware concorrente verificado
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-07-26)
Mapeando CSP em UML-RT
(Universidade Federal de Pernambuco, 2014)
Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
Redes de Petri de alto nível e PNRD invertida associadas ao controle de robôs móveis: uma abordagem para operações de busca e salvamento em trilhas e travessiasHigh-level Petri nets and inverted PNRD associated to mobile robot control: an approach to search and rescue on trails and crossings
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Engenharia Mecânica, 2018)
Definição e implementação do sistema de tipos da linguagem circus
(Universidade Federal de Pernambuco, 2014)