Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 81 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Reasoning about complex requirements in a uniform settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2020Data governance: Organizing data for trustworthy Artificial IntelligenceJanssen, Marijn; Brous, Paul; Estevez, Elsa; Barbosa, L. S.; Janowski, TomaszArtigoAcesso aberto
2018A logic for the stepwise development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.ArtigoAcesso aberto
Out-2018Languages and models for hybrid automata: A coalgebraic perspectiveNeves, Renato Jorge Araújo; Barbosa, L. S.ArtigoAcesso aberto
1-10 de um total de 81 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir