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...
Na minha lista:
Main Authors: | , , |
---|---|
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!
|