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
2011Hybridization of institutionsMartins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
2014Introducing hierarquical hybrid logicMadeira, Alexandre; Neves, Renato Jorge Araújo; Barbosa, L. S.; Martins, Manuel A.Artigo em ata de conferênciaAcesso aberto
2011Hybrid specification of reactive systems: an institutional approachMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro; Neves, Renato Jorge AraújoCapítulo de livroAcesso aberto
2013Bisimilarity and refinement for hybrid(ised) logicsMadeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S.; Martins, Manuel A.ArtigoAcesso aberto
1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir