Formal Modelling for Cooking Assistance.

Bernd Krieg-Brückner Serge Autexier Martin Rink Sidoine Ghomsi Nokam

Published in: Software, Services, and Systems (2015)

Keyphrases

formal methods
multiscale
data sets
relational databases
structural analysis
formal representation
metadata
image processing
human activities
formal model
operational semantics
formal models
mathematical theory