Generic specification toolchain for ontology-based Device Descriptions.

Henrik Dibowski Klaus Kabitzsch

Published in: ETFA (2010)

Keyphrases

high level
domain specific
formal specification
structural descriptions
natural language descriptions
context aware
application specific
conceptual models
real time
data sets
data mining
formal verification