Publications

Formal Analysis of Policies in Wireless Sensor Network Applications

AuthID
P-00A-ADB

Author(s)

Patrignani, M

Matthys, N

Proenca, J

Hughes, D

Clarke, D

Document Type

Proceedings Paper

Year published

2012

Published

in 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings in SESENA

Pages: 15-21

Conference

2012 3Rd International Workshop on Software Engineering for Sensor Network Applications, Sesena 2012, Date: 2 June 2012 through 2 June 2012, Location: Zurich

Indexing

Scopus^®

Dblp^®/en/publications/view/338347

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/sesena.2012.6225728

Dblp: conf/sesena/PatrignaniMPHC12

Scopus: 2-s2.0-84864375453

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 Policies in Wireless Sensor Network Applications

Useful Links

Get Help

Federated Authentication (Click on the image)

Formal Analysis of Policies in Wireless Sensor Network Applications

Useful Links

Get Help