Sign in

Holistic Concept for Embedded Multifunction Display SW Specification from the Maintenance Point of View.

Qi ZhangAndreas Karcher
Published in: PDeS (2013)
Keyphrases
  • real time
  • formal specification
  • learning algorithm
  • high level
  • software maintenance
  • information systems
  • bayesian networks
  • scheduling problem
  • digital images
  • embedded systems
  • formal methods