Christian HOAREAU


Query Language for Location-Based Services: A Model Checking Approach
Christian HOAREAU Ichiro SATOH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4  pp. 976-985
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Ubiquitous Computing
Keyword: 
ubiquitous computinglocation-based servicesquery languagemodel checking
 Summary | Full Text:PDF(481.3KB)