Formal verification of context and situation models in pervasive computing

Boytsov, Andrey and Zaslavsky, Arkady 2013, Formal verification of context and situation models in pervasive computing, Pervasive and mobile computing, vol. 9, no. 1, pp. 98-117, doi: 10.1016/j.pmcj.2012.03.001.

Attached Files
Name Description MIMEType Size Downloads

Title Formal verification of context and situation models in pervasive computing
Author(s) Boytsov, Andrey
Zaslavsky, ArkadyORCID iD for Zaslavsky, Arkady orcid.org/0000-0003-1990-5734
Journal name Pervasive and mobile computing
Volume number 9
Issue number 1
Start page 98
End page 117
Total pages 20
Publisher Elsevier
Place of publication Amsterdam, The Netherlands
Publication date 2013-02
ISSN 1574-1192
Keyword(s) Context awareness
Situation awareness
Context spaces theory
Situation algebra
Verification
Language eng
DOI 10.1016/j.pmcj.2012.03.001
Field of Research 0805 Distributed Computing
1702 Cognitive Science
HERDC Research category C1.1 Refereed article in a scholarly journal
Copyright notice ©2012, Elsevier B.V.
Persistent URL http://hdl.handle.net/10536/DRO/DU:30115559

Document type: Journal Article
Collection: School of Information Technology
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 10 times in TR Web of Science
Scopus Citation Count Cited 12 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 12 Abstract Views, 2 File Downloads  -  Detailed Statistics
Created: Wed, 20 Mar 2019, 12:17:08 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.