Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 41-50 de um total de 470 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1-Jan-2017A hazard analysis method for systematic identification of safety requirements for user interface software in medical devicesMasci, Paolo; Zhang, Yi; Jones, Paul; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe; Masci, Paolo; Harrison, Michael douglas; Campos, José C.; Silva, Saulo Rodrigues eArtigo em ata de conferênciaAcesso aberto
2013Multi-interval discretization of continuous attributes for label rankingSá, Cláudio Rebelo de; Soares, Carlos; Knobbe, Arno; Azevedo, Paulo J.; Jorge, Alípio MárioArtigo em ata de conferênciaAcesso aberto
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2013Weighted automata as coalgebras in categories of matricesOliveira, José Nuno FonsecaArtigoAcesso aberto
2012Fast distributed computation of distances in networksAlmeida, Paulo Sérgio; Baquero, Carlos; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
18-Mar-2013Broadcast cancellation in search mechanismsLima, R.; Baquero, Carlos; Miranda, HugoArtigo em ata de conferênciaAcesso aberto
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso aberto
2013Typing linear algebra : a biproduct-oriented approachMacedo, Hugo Daniel; Oliveira, José Nuno FonsecaArtigoAcesso aberto
41-50 de um total de 470 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir