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 |