Login / Signup

Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos.

Tânia Saraiva de Melo PinheiroPaulo Roberto Freire Cunha
Published in: SBES (1990)
Keyphrases
  • formal model
  • formal methods
  • digital libraries
  • real time
  • neural network
  • genetic algorithm
  • knowledge base
  • case study
  • optimal solution
  • lower bound
  • information technology
  • mathematical theory