Ambient contracts: verifying and enforcing ambient object compositions A la carte
Más información
Título según WOS: | Ambient contracts: verifying and enforcing ambient object compositions A la carte |
Título según SCOPUS: | Ambient contracts: Verifying and enforcing ambient object compositions à la carte |
Título de la Revista: | Personal and Ubiquitous Computing |
Volumen: | 15 |
Número: | 4 |
Editorial: | Springer |
Fecha de publicación: | 2011 |
Página de inicio: | 341 |
Página final: | 351 |
Idioma: | English |
URL: | http://link.springer.com/10.1007/s00779-010-0355-z |
DOI: |
10.1007/s00779-010-0355-z |
Notas: | ISI, SCOPUS |