Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

           

Lista de resultados: 31-40 de um total de 62 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Fev-1998Modeling multi-agent systems activities through colored petri nets : an industrial production system case studyFernandes, João M.; Belo, OrlandoconferencePaperopenAccess
Dez-1999SGML documents : where does quality go?Ramalho, José Carlos; Rocha, Jorge Gustavo; Almeida, J. J.; Henriques, Pedro RangelarticleopenAccess
Jun-1999Constructor subtyping : extended versionFrade, M. J.; Barthe, Gilles Jacques DenisreportopenAccess
Jan-1992Software reification using the SETS calculusOliveira, José Nuno FonsecaarticleopenAccess
1997Edgar : a platform for hardware/software codesignEsteves, António; Fernandes, João M.; Proença, Alberto JosébookPartopenAccess
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.conferencePaperopenAccess
1999Using automated reasoning in the design of an audio-visual communication systemCampos, J. Creissac; Harrison, M. D.conferencePaperopenAccess
1998Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.conferencePaperopenAccess
1998The role of verification in interactive systems designCampos, J. Creissac; Harrison, M. D.conferencePaperopenAccess
4-Nov-1998Qualidade na publicação electrónica : como controlá-la?Ramalho, José Carlos; Henriques, Pedro RangelconferencePaperopenAccess