Publications

Formal Analysis of Ubiquitous Computing Environments Through the Apex Framework

AuthID
P-008-50Z

Author(s)

Silva, JL

Campos, JC

Harrison, MD

Editor(s)

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

Document Type

Proceedings Paper

Year published

2012

Published

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

Pages: 131-140

Conference

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

Indexing

Scopus^®

Dblp^®/en/publications/view/267295

Crossref^®

Handle^®

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

Info

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

Formal Analysis of Ubiquitous Computing Environments Through the Apex Framework

Useful Links

Get Help

Federated Authentication (Click on the image)

Formal Analysis of Ubiquitous Computing Environments Through the Apex Framework

Useful Links

Get Help