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

Qi Zhang Andreas 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