Skip navigation
RepositóriUM



  • Página principal
  • Percorrer por
    • Comunidades
      & Coleções
    • Percorrer por:
    • Títulos
    • Autores
    • Autores UMinho
    • Orientadores
    • Editores
    • Assuntos
    • Áreas do conhecimento
    • Datas de publicação
    • Tipos de documento
    • Tipos de acesso
    • Editoras
    • Revistas
  • Ajudas
  • português
    • francês
    • espanhol
    • inglês
  • Entrar
    • Área Pessoal
    • Serviço de alertas
    • Editar conta



  1. Universidade do Minho
  2. Escola de Engenharia | School of Engineering
  3. HASLab - High-Assurance Software Laboratory

HASLab - Capítulos de livro : [5] Estatísticas

Percorrer
Ativar alerta na coleção para receber notificações por e-mail de novas entradas RSS Feed RSS Feed RSS Feed
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-5 de um total de 5
DataTítuloAutor(es)TipoAcesso
2017The specification and analysis of use properties of a nuclear control systemHarrison, Michael douglas; Masci, Paolo M.; Campos, José C., et al.bookPartrestrictedAccess
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.bookPartopenAccess
2012GUIsurfer : a reverse engineering framework for user interface softwareCampos, J. Creissac; Saraiva, João Alexandre; Silva, Carlos Eduardo, et al.bookPartopenAccess
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José Nuno FonsecaconferencePaperopenAccess
2011Fault-tolerant aggregation: flow-updating meets mass-distributionAlmeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martin, et al.conferencePaperopenAccess
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-5 de um total de 5

Descobrir

Autor
  • 2 Campos, José C.
  • 1 Almeida, Paulo Sérgio
  • 1 Baquero, Carlos
  • 1 Barbosa, L. S.
  • 1 Curzon, Paul
  • 1 Farach-Colton, Martin
  • 1 Harrison, Michael douglas
  • 1 Jesus, Paulo
  • 1 Madeira, Alexandre Leite Castro
  • 1 Martins, Manuel A.
  • . próximo >
Assunto
  • 1 Aggregate computation
  • 1 Categories of matrices
  • 1 Communication networks
  • 1 Distributed computing
  • 1 Hybrid logic
  • 1 Hybridization
  • 1 Linear algebra
  • 1 Radio networks
  • 1 Software specification
  • 1 Weighted automata
Data de publicação
  • 1 2017
  • 1 2016
  • 2 2012
  • 1 2011
Servi�os Documenta��o da Universidade do Minho   e-U Campus Virtual   Projeto e-UM - Campus Virtual   DSpace   DeG�is   RCAAP   OpenAIRE

Contacte-nos | Estatísticas do RepositóriUM
Universidade do Minho Copyright © 2014