Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-8 of 8 (Search time: 0.149 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
7-Mar-2016User verification using behavioural cancelable templatesMelo, Marcelo Damasceno de
9-Dec-2016Meta-heurísticas de otimização tradicionais e híbridas utilizadas para construção de comitês de classificaçãoFeitosa Neto, Antonino Alves
10-Jun-2016A formally founded framework for dynamic software architecturesCavalcante, Everton Ranielly de Sousa
14-Apr-2016Beta: a B based testing approachMatos, Ernesto Cid Brasil de
8-Mar-2016Método B e a síntese verificada para código de montagemMedeiros Júnior, Valério Gutemberg de
12-Aug-2016Local livelock analysis of component-based modelsConserva Filho, Madiel de Souza
29-Jul-2016A topological and domain theoretical study of total computable functionsOlguin, Cláudio Andrés Callejas
8-Dec-2016A new class of fuzzy subsethood measuresSantos, Hélida Salles