Search

.

Current filters:

Use filters to refine the search results.

 |          

Item hits: Results 31-40 of 62 (Search time: 0.031 seconds).
Issue DateTitleAuthor(s)TypeAccess
4-Nov-1998Qualidade na publicação electrónica : como controlá-la?Ramalho, José Carlos; Henriques, Pedro RangelConference paperOpen access
Feb-1998Modeling multi-agent systems activities through colored petri nets : an industrial production system case studyFernandes, João M.; Belo, OrlandoConference paperOpen access
Jan-1992Software reification using the SETS calculusOliveira, José Nuno FonsecaArticleOpen access
1997Edgar : a platform for hardware/software codesignEsteves, António; Fernandes, João M.; Proença, Alberto JoséBook partOpen access
Sep-1998Hierarchical mechanisms for high-level modelling and simulation of digital systemsMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséConference paperOpen access
1994Redes de Petri e VHDL na especificação de controladores paralelosFernandes, João M.Master thesis Open access
1996Document semantics: Two approachesRamalho, José Carlos; Almeida, J. J.; Henriques, Pedro RangelConference paperOpen access
Mar-1997Magic sets with full sharingAzevedo, Paulo J.ArticleOpen access
Jul-1997Specification of industrial digital controllers with object-oriented Petri netsMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséConference paperOpen access
1998Algebraic specification of documentsRamalho, José Carlos; Almeida, J. J.; Henriques, Pedro RangelArticleOpen access