Buscar
Mostrando ítems 1-4 de 4
Formalisation of SysML design models and an analysis strategy using refinement
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
A solution for goal-oriented policy refinement in NFV manegement and orchestration systems
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2020)
Abstraction of infinite and communicating CSPZ processes
(Universidade Federal de Pernambuco, 2014)
Efeito da dopagem nas propriedades físicas das famílias de pirocloros rutenatos Gd2−xMxRu2O7, com M = Ho ou Y e nos novos supercondutores Zr1−xNbxB2
(Universidade Federal de Pernambuco, 2015)