Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2011FlexiXML : a portable user interface rendering engine for UsiXMLCampos, J. Creissac; Mendes, SandrineArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2011Partial models in formal verification of industrial automation discrete systemsMachado, José Manuel; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Mai-2011Safe controllers design for industrial automation systemsMachado, José Manuel; Seabra, Eurico; Campos, J. Creissac; Soares, Filomena; Leão, Celina PintoArtigoAcesso restrito UMinho
2010GUI inspection from source code analysisSilva, João Carlos; Campos, J. Creissac; Saraiva, João AlexandreArtigoAcesso aberto
2011Test case generation from mutated task modelsBarbosa, Ana; Paiva, Ana; Campos, J. CreissacArtigo em ata de conferênciaAcesso restrito UMinho
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir