Inferring physical units in formal models.

Sebastian Krings Michael Leuschel

Published in: Softw. Syst. Model. (2017)

Keyphrases

formal models
rule based systems
formal model
process model
physical systems
multiscale
real time
databases
search engine
computer vision
pattern recognition
knowledge representation