A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models.

Timm Liebrenz Paula Herber Sabine Glesner

Published in: FACS (2019)

Keyphrases

machine learning
probabilistic model
end users
service providers
experimental data
service composition
real time
three dimensional
expert systems
machine learning algorithms
model checking
statistical models
service discovery