Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 102 resultados (tempo de pesquisa: 0.03 segundos).
DataTítuloAutor(es)TipoAcesso
2017MODUS: model-based user interfaces prototypingMachado, Marina; Couto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2014A study on the viability of formalizing use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Defining energy consumption plans for data querying processesGonçalves, R.; Saraiva, João Alexandre; Belo, O.Artigo em ata de conferênciaAcesso restrito UMinho
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Nov-2016Electronic governance in Portugal: a silent pioneerFernandes, Sara Santos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 102 resultados (tempo de pesquisa: 0.03 segundos).

Descobrir