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]
Abstract is missing.