A carregar...

Formal methods for open object-based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings /

Invited speakers -- Security issues in service composition -- Separating distribution from coordination and computation as architectural dimensions -- The bisimulation proof method: enhancements and open problems -- Regular papers -- An approach to quality achievement at the architectural level: AQ...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
Formato: Livro
Idioma:Inglês
Publicado em: Springer, 2006
Colecção:Lecture notes in computer science ;
Assuntos:
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000907490&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!