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

HASLab - Capítulos de livro : [4] 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-4 de um total de 4
DataTítuloAutor(es)TipoAcesso
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 FonsecabookPartopenAccess
2011Fault-tolerant aggregation: flow-updating meets mass-distributionAlmeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martin, et al.articleopenAccess
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-4 de um total de 4

Descobrir