TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Fakultät | Informatik
Informatikzentrum

Towards Ontology-Based Formal Verification Methods for Context Aware Systems

ID SchmidtkeWoo09
Typ inProceedings - Artikel in einem Konferenzband
Autor Schmidtke, H. R.
W. Woo
IBR Autor(en) Dr. Hedda Schmidtke
IBR Gruppe(n) DUS (Prof. Beigl)
Editor Hide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe
Titel Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Buchtitel Pervasive 2009
Jahr 2009
Seite(n) 309-326
Verlag Springer
URL http://dx.doi.org/10.1007/978-3-642-01516-8_21

aktualisiert am 03.12.2014, 17:20 von Webmaster
printemailtop