Expand icon Search icon File icon file Download

Towards Simple and Effective Formal Methods for Intelligent Environments

Henson, M and Dooley, J and Al Malaise Al Ghamdi, A and Whittington, L (2012) Towards Simple and Effective Formal Methods for Intelligent Environments. In: Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE), pp. 251-258. ISBN 9781467320931.



Abstract

Available files

Full text not available from this repository.

Statistics

Downloads

downloads and page views since this item was published

View detailed statistics