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

HASLab - Capítulos de livro : [9] 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-9 de um total de 9
DataTítuloAutor(es)TipoAcesso
2023Why Adjunctions Matter—A Functional Programmer PerspectiveOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso restrito UMinho
2022Preface [Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops]Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio, et al.Editorial em livro Acesso aberto
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
Abr-2018A note on reactive transitions and Reo connectorsFigueiredo, Daniel; Martins, Manuel A.; Barbosa, L. S.Capítulo de livroAcesso aberto
2017The specification and analysis of use properties of a nuclear control systemHarrison, Michael douglas; Masci, Paolo M.; Campos, José C., et al.Capítulo de livroAcesso restrito UMinho
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.Capítulo de livroAcesso aberto
2012GUIsurfer : a reverse engineering framework for user interface softwareCampos, J. Creissac; Saraiva, João Alexandre; Silva, Carlos Eduardo, et al.Capítulo de livroAcesso aberto
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2011Fault-tolerant aggregation: flow-updating meets mass-distributionAlmeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martin, et al.Artigo em ata de conferênciaAcesso aberto
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-9 de um total de 9

Entradas recentes

Why Adjunctions Matter—A Functional Programmer Perspective

Preface [Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops]

On infinitary equational hybrid logic

A note on reactive transitions and Reo connectors

The specification and analysis of use properties of a nuclear control system

 

Descobrir