Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
EAI Endorsed Transactions on Context-aware Systems and Applications
Home
About
About the Journal
Submissions
Editorial Team
Indexing
Open Access Information
Benefits of EAI Transactions
Privacy Statement
Contact
Current
Archives
Special Issues
Publication Ethics
Announcements
Register
Login
Home
/
Search
Search
Search articles for
Advanced filters
Published After
Year
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
Month
January
February
March
April
May
June
July
August
September
October
November
December
Day
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Published Before
Year
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
Month
January
February
March
April
May
June
July
August
September
October
November
December
Day
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
By Author
Search
Search Results
Found one item.
Formal Modeling and Verification of Context-Aware Systems using Event-B
Hong Anh Le, Ninh Thuan Truong
e4
16-12-2014
1 - 1 of 1 items
Make a Submission
Make a Submission
Current Issue
Keywords
Tweets by @EAIPublishing
