Formal analysis of pervasive computing systems

10.1109/ICECCS.2012.19

Saved in:

Bibliographic Details
Main Authors:	Liu, Y., Zhang, X., Dong, J.S., Sun, J., Biswas, J., Mokhtari, M.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Formal Modeling Pervasive Computing System Verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/43168
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-43168
record_format	dspace
spelling	sg-nus-scholar.10635-431682023-10-30T22:26:38Z Formal analysis of pervasive computing systems Liu, Y. Zhang, X. Dong, J.S. Liu, Y. Sun, J. Biswas, J. Mokhtari, M. COMPUTER SCIENCE TEMASEK LABORATORIES Formal Modeling Pervasive Computing System Verification 10.1109/ICECCS.2012.19 Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012 169-178 2013-07-23T09:26:50Z 2013-07-23T09:26:50Z 2012 Conference Paper Liu, Y., Zhang, X., Dong, J.S., Liu, Y., Sun, J., Biswas, J., Mokhtari, M. (2012). Formal analysis of pervasive computing systems. Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012 : 169-178. ScholarBank@NUS Repository. https://doi.org/10.1109/ICECCS.2012.19 9782954181004 http://scholarbank.nus.edu.sg/handle/10635/43168 000315026500018 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Formal Modeling Pervasive Computing System Verification
spellingShingle	Formal Modeling Pervasive Computing System Verification Liu, Y. Zhang, X. Dong, J.S. Liu, Y. Sun, J. Biswas, J. Mokhtari, M. Formal analysis of pervasive computing systems
description	10.1109/ICECCS.2012.19
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Liu, Y. Zhang, X. Dong, J.S. Liu, Y. Sun, J. Biswas, J. Mokhtari, M.
format	Conference or Workshop Item
author	Liu, Y. Zhang, X. Dong, J.S. Liu, Y. Sun, J. Biswas, J. Mokhtari, M.
author_sort	Liu, Y.
title	Formal analysis of pervasive computing systems
title_short	Formal analysis of pervasive computing systems
title_full	Formal analysis of pervasive computing systems
title_fullStr	Formal analysis of pervasive computing systems
title_full_unstemmed	Formal analysis of pervasive computing systems
title_sort	formal analysis of pervasive computing systems
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43168
_version_	1781411212588744704

Formal analysis of pervasive computing systems

Similar Items