Data | Título | Autor(es) | Tipo | Acesso |
Mai-2013 | Guidelines for modelling reactive systems with coloured Petri nets | Madalena, Gonçalves; Fernandes, João M. | Artigo em ata de conferência | Acesso aberto |
2011 | Hybrid specification of reactive systems: an institutional approach | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
2015 | Kinetic theory of simple reacting spheres : an application to coloring processes | Carvalho, Filipe; Polewczak, Jacek; Soares, A. J. | Artigo em ata de conferência | Acesso aberto |
2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al. | Artigo | Acesso aberto |
2011 | On requirements engineering for reactive systems: a formal methodology | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |