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

Towards Ontology-Based Formal Verification Methods for Context Aware Systems

IDSchmidtkeWoo09
TypinProceedings - Artikel in einem Konferenzband
AutorSchmidtke, H. R.
W. Woo
IBR Autor(en)Dr. Hedda Schmidtke
IBR Gruppe(n)DUS (Prof. Beigl)
EditorHide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe
TitelTowards Ontology-Based Formal Verification Methods for Context Aware Systems
BuchtitelPervasive 2009
Jahr2009
Seite(n)309-326
VerlagSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-01516-8_21

aktualisiert am 03.12.2014, 17:20 von Webmaster
printemailtop