Publicações

Formal Analysis of Ubiquitous Computing Environments Through the Apex Framework

AuthID
P-008-50Z

Author(s)

Silva, JL

Campos, JC

Harrison, MD

Editor(es)

Junqueira Barbosa,SD;Campos,JC;Kazman,R;Palanque,PA;Harrison,MD;Reeves,S

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012 in EICS

Páginas: 131-140

Conference

4Th Acm Sigchi Symposium on Engineering Interactive Computing Systems, Eics'12, Date: 25 June 2012 through 26 June 2012, Location: Copenhagen, Patrocinadores: ACM SIGCHI

Indexing

Scopus^®

Dblp^®/pt/publications/view/267295

Crossref^®

Handle^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2305484.2305506

DBLP: conf/eics/SilvaCH12

Handle: https://hdl.handle.net/1822/36515

SCOPUS: 2-s2.0-84864037217

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Formal Analysis of Ubiquitous Computing Environments Through the Apex Framework

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Formal Analysis of Ubiquitous Computing Environments Through the Apex Framework

Links Úteis

Ajuda