Please use this identifier to cite or link to this item:
https://doi.org/10.1109/ISoLA.2006.29
| Title: | Context awareness systems design and reasoning | Authors: | Dong, J.S. Feng, Y. Sun, J. Sun, J. |
Issue Date: | 2007 | Citation: | Dong, J.S.,Feng, Y.,Sun, J.,Sun, J. (2007). Context awareness systems design and reasoning. Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 335-340. ScholarBank@NUS Repository. https://doi.org/10.1109/ISoLA.2006.29 | Abstract: | This paper reports a recent research investigation on an integrated formal approach to model and verify sensor constraints and relations in the context awareness systems. © 2007 IEEE. | Source Title: | Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | URI: | http://scholarbank.nus.edu.sg/handle/10635/40038 | ISBN: | 0769530710 | DOI: | 10.1109/ISoLA.2006.29 |
| Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.