Sign in

Formal component-based modeling and synthesis for PLC systems.

Min ZhouHai WanRui WangXiaoyu SongChen SuMing GuJiaguang Sun
Published in: Comput. Ind. (2013)
Keyphrases
  • distributed systems
  • dynamic aspects
  • computer systems
  • expert systems
  • management system
  • low cost
  • building blocks
  • complex systems
  • reactive systems