Login / Signup

Behavioural modelling and verification of real-time software product lines.

Maxime CordyPierre-Yves SchobbensPatrick HeymansAxel Legay
Published in: SPLC (1) (2012)
Keyphrases
  • real time
  • software product line
  • goal driven
  • software engineering
  • product line
  • control system
  • learning methodologies
  • learning algorithm
  • model checking
  • life cycle
  • adult literacy
  • database
  • real world
  • user interface