IBR Login
- Institute of Operating Systems and Computer Networks
- News
- About us
- Connected and Mobile Systems
- Distributed Systems
- Algorithms
- Microprocessor Lab
- Education
- Services
- Spin-Offs
- Research Cooperations
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
ID | SchmidtkeWoo09 |
Type | inProceedings - an article in a conference proceedings |
Author | Schmidtke, H. R. |
W. Woo | |
IBR Author(s) | Dr. Hedda Schmidtke |
IBR Group(s) | DUS (Prof. Beigl) |
Editor | Hide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe |
Title | Towards Ontology-Based Formal Verification Methods for Context Aware Systems |
Book Title | Pervasive 2009 |
Year | 2009 |
Page(s) | 309-326 |
Publisher | Springer |
URL | http://dx.doi.org/10.1007/978-3-642-01516-8_21 |
last changed 2021-04-28, 15:10 by System Account bib-deploy