Transforming SOS Specifications to Linear Processes.

Frank P. M. Stappers Michel A. Reniers Sven Weber

Published in: FMICS (2011)

Keyphrases

artificial intelligence
high level
formal specification
linear systems
databases
real world
data mining
e learning
metadata
image sequences
reinforcement learning
lower bound
linear model
transfer function
linear constraints