Formal Modelling of Service-Oriented Systems.

Published in: MEDI (2011)

Keyphrases

three dimensional
image sequences
trade off
real time
formal model
formal methods
neural network
artificial intelligence
case study
reinforcement learning
information technology
formal semantics
formal language