Sign in

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.

Yu JiangHan LiuHoubing SongHui KongMing GuJiaguang SunLui Sha
Published in: FM (2016)
Keyphrases
  • model driven
  • metamodel
  • model driven engineering
  • platform independent
  • data driven
  • design process
  • database
  • e learning
  • control system
  • software engineering
  • service oriented
  • control strategy
  • controller design