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

HASLab - Capítulos de livro : [5] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 5 of 5
Issue DateTitleAuthor(s)TypeAccess
2017The specification and analysis of use properties of a nuclear control systemHarrison, Michael douglas; Masci, Paolo M.; Campos, José C., et al.Book partRestricted access (UMinho)
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.Book partOpen access
2012GUIsurfer : a reverse engineering framework for user interface softwareCampos, J. Creissac; Saraiva, João Alexandre; Silva, Carlos Eduardo, et al.Book partOpen access
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José Nuno FonsecaConference paperOpen access
2011Fault-tolerant aggregation: flow-updating meets mass-distributionAlmeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martin, et al.Conference paperOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 5 of 5

Recent Submissions

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

Reuse and integration of specification logics: the hybridisation perspective

GUIsurfer : a reverse engineering framework for user interface software

Typed linear algebra for weighted (probabilistic) automata

Fault-tolerant aggregation: flow-updating meets mass-distribution

 

Discover