Login / Signup
How to Improve the Production Process for interactive TV with semi-formal Methods.
Matthias Rauterberg
Michel Alders
Reinder Haakma
Published in:
J. Virtual Real. Broadcast. (2007)
Keyphrases
</>
formal methods
production process
interactive tv
production system
production line
software engineering
model checking
production planning
artificial intelligence
data warehouse
temporal logic
data broadcasting
development lifecycle