Login / Signup

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.

Xiong XuJean-Pierre TalpinShuling WangBohua ZhanNaijun Zhan
Published in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
  • higher order
  • cyber physical systems
  • cyber physical
  • cyber security
  • physical world
  • artificial intelligence
  • decision problems
  • embedded systems