TU BRAUNSCHWEIG
| Carl Friedrich Gauß Faculty | Department of Computer Science
Informatikzentrum

Towards Ontology-Based Formal Verification Methods for Context Aware Systems

IDSchmidtkeWoo09
TypeinProceedings - an article in a conference proceedings
AuthorSchmidtke, H. R.
W. Woo
IBR Author(s)Dr. Hedda Schmidtke
IBR Group(s)DUS (Prof. Beigl)
EditorHide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe
TitleTowards Ontology-Based Formal Verification Methods for Context Aware Systems
Book TitlePervasive 2009
Year2009
Page(s)309-326
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-01516-8_21

last changed 2014-12-03, 17:20 by Webmaster
printemailtop