Tornando a Linguagem LOTOS Apta para Especificar Sistemas Dependentes do Tempo (Doutorado sandwich realizado no Laboratoire d'Architecture et d'Analise des Systèmes du CNRS du CNRS, Toulouse, França) Documento uri icon

  •  
  • Visão geral
  •  
  • Pesquisas
  •  
  • Identidade
  •  
  • Ver todos
  •  

tipo

  • doctoral thesis

data de publicação

  • 1995-01-01