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.

Design Time Methodology for the Formal Verification of Intelligent Domotic Environments

Fulvio Corno, Muhammad Sanaullah. Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. In Paulo Novais, Davy Preuveneers, Juan M. Corchado, editors, Ambient Intelligence - Software and Applications - 2nd International Symposium on Ambient Intelligence, ISAmI 2011, Salamanca, Spain, April 6-8, 2011. Volume 92 of Advances in Intelligent and Soft Computing, pages 9-16, Springer, 2011. [doi]

Authors

Fulvio Corno

This author has not been identified. Look up 'Fulvio Corno' in Google

Muhammad Sanaullah

This author has not been identified. Look up 'Muhammad Sanaullah' in Google
runs on