Login / Signup

Formal analysis of product variability and the effects on assembly operations.

Amir Hossein EbrahimiKnut ÅkessonPierre E. C. JohanssonThomas Lezama
Published in: ETFA (2015)
Keyphrases
  • formal analysis
  • life cycle
  • assembly process
  • formal methods
  • ban logic
  • agent model
  • product design
  • manufacturing process
  • artificial intelligence
  • information systems
  • software product line