Login / Signup
Service-oriented decomposition and verification of hybrid system models using feature models and contracts.
Timm Liebrenz
Paula Herber
Sabine Glesner
Published in:
Sci. Comput. Program. (2021)
Keyphrases
</>
service oriented
web services
probabilistic model
model driven
neural network
database systems
feature vectors
image features
model selection
highly dynamic