Resultados da busca por Autor

1

Refinement in hybridised institutions

por Madeira, Alexandre Leite Castro

Publicado em 2015

Acessar documento

Artigo

2

A method for rigorous design of reconfigurable systems

por Madeira, Alexandre Leite Castro

Publicado em 2016

Acessar documento

Artigo

3

Hierarchical hybrid logic

por Madeira, Alexandre Leite Castro

Publicado em 2018

Acessar documento

Artigo

4

Dynamic logic with binders and its application to the development of reactive systems

por Madeira, Alexandre Leite Castro

Publicado em 2016

Acessar documento

5

A logic for the stepwise development of reactive systems

por Madeira, Alexandre Leite Castro

Publicado em 2018

Acessar documento

Artigo

6

Foundations and techniques for software reconfigurability

por Madeira, Alexandre Leite Castro

Publicado em 2013

Acessar documento

7

A semantics and a logic for Fuzzy Arden Syntax

por Gomes, Leandro Rafael Moreira

Publicado em 2021

Outros Autores: “...Madeira, Alexandre Leite Castro...”
Acessar documento

Artigo

8

On infinitary equational hybrid logic

por Martins, M. A.

Publicado em 2017

Outros Autores: “...Madeira, Alexandre Leite Castro...”
Acessar documento

9

On kleene algebras for weighted computation

por Gomes, Leandro

Publicado em 2017

Outros Autores: “...Madeira, Alexandre Leite Castro...”
Acessar documento

10

Reuse and integration of specification logics: the hybridisation perspective

por Barbosa, L. S.

Publicado em 2016

Outros Autores: “...Madeira, Alexandre Leite Castro...”
Acessar documento