External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems

Xiaotong Chi, Min Zhang, Xiao Xu. An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 189-196, IEEE, 2019. [doi]

Authors

Xiaotong Chi

This author has not been identified. Look up 'Xiaotong Chi' in Google

Min Zhang

This author has not been identified. Look up 'Min Zhang' in Google

Xiao Xu

This author has not been identified. Look up 'Xiao Xu' in Google
runs on